Incompleteness results in Kripke semantics
Silvio Ghilardi · Journal of Symbolic Logic · 1991
Abstract By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.