Switch to: Citations

References in:

Incompleteness results in Kripke semantics

Silvio Ghilardi

Journal of Symbolic Logic 56 (2):517-538 (1991)

Add references

You must login to add references.

Presheaf semantics and independence results for some non-classical first-order logics.Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (2):125-136.details The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1. Download Export citation Bookmark 23 citations
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details Download Export citation Bookmark 72 citations
Toposes and Local Set Theories. An Introduction.J. L. Bell - 1990 - Journal of Symbolic Logic 55 (2):886-887.details Download Export citation Bookmark 20 citations
Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.details Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains. Download Export citation Bookmark 12 citations
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.details Download Export citation Bookmark 57 citations
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.details Download Export citation Bookmark 31 citations

1