Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20

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

Other Versions

original Fine, Kit (1974) "Decidability of S4.1". Journal of Symbolic Logic 39(3):611-612

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,078

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

Lennart Âqvist. Reflections on the logic of nonsense. Theoria , vol. 28 , pp. 138–157. - Krister Segerberg. A contribution to nonsense-logics. Theoria , vol. 31 , pp. 199–217. [REVIEW]E. E. Dawson - 1968 - Journal of Symbolic Logic 33 (1):134-136.
Krister Segerberg. Some modal logics based on a three-valued logic. Theoria , vol. 33 , pp. 53–71.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
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.
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11 ,pp. 233–254.Brian F. Chellas - 1986 - Journal of Symbolic Logic 51 (2):476-477.
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 , pp. 336–346.Daniel Gallin - 1973 - Journal of Symbolic Logic 38 (2):329.
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.
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 , pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 , pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 , pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 , pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 , pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 , pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 , pp. 985–989. , pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 , pp. 25–37. - J. F. A. K. van Benthem and W. [REVIEW]R. A. Bull - 1983 - Journal of Symbolic Logic 48 (2):488-495.
Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 , pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 , pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 , pp. 43–122. [REVIEW]F. W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
Review: Krister Segerberg, Classical Propositional Operators. An Exercise in the Foundations of Logic. [REVIEW]Richard Fleming - 1984 - Journal of Symbolic Logic 49 (3):993-994.

Analytics

Added to PP
2013-11-03

Downloads
19 (#924,735)

6 months
8 (#836,588)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

Add more citations

References found in this work

No references found.

Add more references