The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G

Studia Logica 89 (3):365-399 (2008)
  Copy   BIBTEX

Abstract

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-008-9134-5

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,899

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

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.
The method of Socratic proofs for normal modal propositional logics.Dorota Leszczyńska - 2007 - Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza.
The method of Socratic proofs for normal modal propositional logics.Dorota Leszczynska-Jasion - 2007 - Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
Embeddings of propositional monomodal logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - 2022 - Studia Logica 110 (6):1493-1506.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Modal logics between S4.2 and S4.3.G. Hughes - 1980 - Bulletin of the Section of Logic 9 (2):73-77.
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.

Analytics

Added to PP
2009-01-28

Downloads
50 (#483,389)

6 months
5 (#867,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 6 citations / Add more citations

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.

View all 17 references / Add more references