Abstract
In this paper, we are going to analyze the phenomenon of modal incompleteness from an algebraic point of view. The usual method of showing that a given logic L is incomplete is to show that for some Σ\( \subseteq \) L and some \(\varphi \notin L,\varphi \) cannot be separated from Σ by a suitably wide class of complete algebras — usually Kripke algebras. We are going to show that classical examples of incomplete logics, e.g., Fine logic, are not complete with respect to any class of complete BAOs. Even above Grz it is possible to find a continuum of such logics, which immediately implies the existence of a continuum of neighbourhood-incomplete Grz logics. Similar results can be proved for Löb logics. In addition, completely incomplete logics above Grz may be found uniformly as a result of failures of some admissible rule of a special kind.
Similar content being viewed by others
References
BLOK, W., ‘The lattice of modal logics: an algebraic investigation’, Journal of Symbolic Logic, 45:221-236, 1980.
BOOLOS, G., ‘On systems of modal logic with provability interpretations’, Theoria, 46:7-18, 1980.
BULL, R. A. Review, Journal of Symbolic Logic, 47:440-445, 1982.
BULL, R. A. Review, Journal of Symbolic Logic, 48:488-495, 1983.
CHAGROV, V. A. and M. V. ZAKHARYASCHEV, Modal Logic, Clarendon Press, Oxford 1997.
DOŠEN, K., ‘Duality between modal algebras and neighbourhood frames’, Studia Logica, 48:219-234, 1989.
FINE, K., ‘An ascending chain of S4 logics’, Theoria, 40:110-116, 1974.
FINE, K., ‘An incomplete logic containing S4’, Theoria, 40:23-29, 1974.
GERSON, M. S., ‘The inadequacy of the neighbourhood semantics for modal logics’, Journal of Symbolic Logic, 40:141-148, 1975.
GERSON, M. S., ‘An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics’, Studia Logica, 34:333-342, 1975.
GERSON, M. S., ‘A neighbourhood frame for T with no equivalent relational frame’, Zeitschrift für matematische Logik und Grundlagen der Mathematik, 22:29-34, 1976.
GOLDBLATT, R. I., ‘Arithmetical necessity, provability and intuitionistic logic’, Theoria, 44:38-46, 1978.
LITAK, T., ‘Tense logics which are maximal consistent, decidable and as incomplete as you may imagine’, forthcoming.
LITAK, T., ‘A neighbourhood complete K4 logic not complete with respect to any class of subdirectly irreducible complete modal algebras’, forthcoming.
RYBAKOV, V. V., ‘Noncompact Extensions of the Logic S4’, Algebra and logic, 16:321-334, 1977.
SHEHTMAN, V. B., ‘On Incomplete Propositional Logics’, Soviet Mathematics Doklady, 18:985-989, 1977.
SHEHTMAN, V. B., ‘Topological models of propositional logics’, Semiotics and Information Science, 15:74-98, 1980. (Russian)
THOMASON, S. K., ‘Semantic analysis of tense logics’, Journal of Symbolic Logic, 37:150-158, 1972.
THOMASON, S K., ‘An incompleteness theorem in modal logic’, Theoria, 40:30-34, 1974.
THOMASON, S. K., ‘Categories of frames for modal logic’, Journal of Symbolic Logic, 40;439-442, 1975.
VAN BENTHEM, J. F. A. K., ‘Syntactic aspects of modal incompleteness theorems’, Theoria, 45:63-77, 1979.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Litak, T. Modal Incompleteness Revisited. Studia Logica 76, 329–342 (2004). https://doi.org/10.1023/B:STUD.0000032102.67838.f2
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000032102.67838.f2