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)

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.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-008-9134-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,645
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Method of Socratic Proofs for Normal Modal Propositional Logics.Dorota Leszczynska - 2007 - Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Socratic Proofs for Some Normal Modal Propositional Logics.D. Leszczyńska - 2004 - Logique Et Analyse 47 (No. 185–188):259-285.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.

Analytics

Added to PP index
2009-01-28

Total views
24 ( #319,029 of 2,325,865 )

Recent downloads (6 months)
5 ( #339,253 of 2,325,865 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature