Journal of Philosophical Logic 24 (4):379 - 403 (1995)

Max Cresswell
Victoria University of Wellington
A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal logic is incomplete then so is the predicate logic based on it. But the interesting question is whether a complete propositional modal logic can have an incomplete extension. In 1967 Kripke announced the incompleteness of a predicate extension of S4. The purpose of the present article is to present several such systems. In the first group it is the systems with the Barcan Formula which are incomplete, while those without are complete. In the second group it is those without the Barcan formula which are incomplete, while those with the Barcan Formula are complete. But all these are based on propositional systems which are characterized by frames satisfying in each case a single first-order sentence
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01048353
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,514
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16 (1963):83-94.
Incompleteness Results in Kripke Semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.

View all 8 references / Add more references

Citations of this work BETA

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
58 ( #163,984 of 2,348,301 )

Recent downloads (6 months)
3 ( #237,531 of 2,348,301 )

How can I increase my downloads?


My notes