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



    Upload a copy of this work     Papers currently archived: 100,793

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 S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.
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.
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
48 (#439,591)

6 months
5 (#1,012,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An Essay on Inferential Erotetic Logic.Andrzej Wiśniewski - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 105–138.

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.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
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