That All Normal Extensions of S4.3 Have the Finite Model Property

Mathematical Logic Quarterly 12 (1):341-344 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120129

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

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.
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.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Bull's theorem by the method of diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.
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 Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2014 - Journal of Philosophical Logic 43 (1):133-152.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.Michael Zakharyaschevm & Alexander Alekseev - 1995 - Mathematical Logic Quarterly 41 (1):15-23.

Analytics

Added to PP
2014-01-16

Downloads
41 (#378,597)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references