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

Authors
Dorota Leszczyńska-Jasion
Adam Mickiewicz University
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.
Keywords Philosophy
Categories (categorize this paper)
DOI 10.1007/s10992-008-9089-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,954
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
Modal Tableau Calculi and Interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Four Simple Systems of Modal Propositional Logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.
On Some Intuitionistic Modal Logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Resolution-Based Methods for Modal Logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.

Analytics

Added to PP index
2016-02-04

Total views
5 ( #1,148,252 of 2,427,267 )

Recent downloads (6 months)
1 ( #540,061 of 2,427,267 )

How can I increase my downloads?

Downloads

My notes