Noncompactness in propositional modal logic

Journal of Symbolic Logic 37 (4):716-720 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272419

Other Versions

edition Thomason, S. K.; Fine, Kit; Gerson, Martin; Gerson, Martin Sebastian (1983) "Noncompactness in Propositional Modal Logic". Journal of Symbolic Logic 48(2):488-495

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Thomason S. K.. Noncompactness in propositional modal logic.R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Carnapian extensions of S.Herbert E. Hendry & M. L. Pokriefka - 1985 - Journal of Philosophical Logic 14 (2):111 - 128.

Analytics

Added to PP
2009-01-28

Downloads
54 (#400,587)

6 months
12 (#296,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Moderate Modal Skepticism.Margot Strohminger & Juhani Yli-Vakkuri - 2018 - In Matthew A. Benton, John Hawthorne & Dani Rabinowitz (eds.), Knowledge, Belief, and God: New Insights in Religious Epistemology. Oxford: Oxford University Press. pp. 302-321.
Reduction of second‐order logic to modal logic.S. K. Thomason - 1975 - Mathematical Logic Quarterly 21 (1):107-114.

View all 8 citations / Add more citations

References found in this work

That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.

Add more references