A Class of Extensions of the Modal System S4 with the Finite Model Property

Mathematical Logic Quarterly 11 (2):127-132 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110208

Other Versions

reprint Bull, R. A. (1965) "A Class of Extensions of the Modal System S4 with the Finite Model Property". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11(2):127-132

Links

PhilArchive



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

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

Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.

Analytics

Added to PP
2013-11-24

Downloads
17 (#1,152,036)

6 months
4 (#1,249,230)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.

Add more citations

References found in this work

No references found.

Add more references