A loop-free decision procedure for modal propositional logics k4, s4 and S

Journal of Philosophical Logic 38 (2):151 - 177 (2009)

Abstract

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
50 (#230,611)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dorota Leszczyńska-Jasion
Adam Mickiewicz University

References found in this work

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.

View all 15 references / Add more references

Citations of this work

Add more citations