Decidability of S4.1

Journal of Symbolic Logic 39 (3):611-612 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272925

Links

PhilArchive



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

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

Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):611-612.
Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts. [REVIEW]F. W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
Review: Kit Fine, Propositional Quantifiers in Modal Logic. [REVIEW]Daniel Gallin - 1973 - Journal of Symbolic Logic 38 (2):329-329.
Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic. [REVIEW]Saul A. Kripke - 1983 - Journal of Symbolic Logic 48 (2):486-488.
Review: A. N. Prior, Kit Fine, Word, Time and Selves. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):654-656.
Fine Kit. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 , pp. 125–156.Fine Kit. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 , pp. 277–306.Fine Kit. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 , pp. 293–307. [REVIEW]Saul A. Kripke - 1985 - Journal of Symbolic Logic 50 (4):1083-1093.
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 , pp. 336–346.Daniel Gallin - 1973 - Journal of Symbolic Logic 38 (2):329.
Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 , pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 , pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 , pp. 52–60. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (1):231-234.

Analytics

Added to PP
2015-02-05

Downloads
21 (#727,311)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

No citations found.

Add more citations

References found in this work

Review. [REVIEW]Grant Kaplan - 2005 - The Thomist 69:165-169.

Add more references