A Normal Modal Calculus Between T and S4 without the Finite Model Property

Journal of Symbolic Logic 36 (4):692-692 (1971)
  Copy   BIBTEX

Abstract

The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.

Categories

Keywords

Reprint years

DOI

10.2307/2272526

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 , pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.
The finite model property in tense logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
An incomplete decidable modal logic.M. J. Cresswell - 1984 - Journal of Symbolic Logic 49 (2):520-527.

Analytics

Added to PP
2017-02-21

Downloads
16 (#906,830)

6 months
6 (#701,155)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references