Decidability of four modal logics

Theoria 34 (1):21-25 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1968.tb00336.x

Other Versions

No versions found

Links

PhilArchive



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

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

Another proof for the decidability of four modal logics.Brian F. Chellas - 1980 - Philosophia 9 (2):251-264.
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.
Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):611-612.
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.
A New Modal Lindstrom Theorem.Finite Depth Property - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 55.
Modal Logic and Possible Worlds.Rohit Parikh - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--339.
On Parikh Provability: An Exercise in Modal Logic.Per Lindstrom - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--287.

Analytics

Added to PP
2010-09-13

Downloads
63 (#341,727)

6 months
9 (#528,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Imperatives1.Brian F. Chellas - 1971 - Theoria 37 (2):114-129.
A general filtration method for modal logics.Dov M. Gabbay - 1972 - Journal of Philosophical Logic 1 (1):29 - 34.
Existential definability of modal frame classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.

View all 8 citations / Add more citations

References found in this work

Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.

Add more references