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

Authors
Dorota Leszczyńska-Jasion
Adam Mickiewicz University
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

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,786
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

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

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
35 ( #298,149 of 2,425,461 )

Recent downloads (6 months)
4 ( #190,470 of 2,425,461 )

How can I increase my downloads?

Downloads

My notes