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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Avron A. (1996) ‘The Method of Hypersequents in Proof Theory of Propositional Non–Classical Logics’. In: Hodges W., Hyland M., Steinhorn Ch., Truss J. (eds) From Foundations to Applications. Oxford University Press, Logic, pp 1–32
Bull, R., and K. Segerberg, ‘Basic Modal Logic’, in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, Vol. 3, Kluwer Academic Publishers: Dordrecht/Boston/London, 2001, pp. 1–81.
Fitting, M., Proof Methods for Modal and Intuitionistic Logic, Vol. 169 of Synthese Library, Reidel Publ. Comp.: Dordrecht, 1983.
Goré R. (1999) ‘Tableau Methods for Modal and Temporal Logics’. In: DAgostino M., Gabbay D.M., Hähnle R., Posegga J. (eds) Handbook of Tableau Methods. Kluwer Academic Publishers, Dordrecht, pp 297–396
Hughes G., Cresswell M. (1968) An Introduction to Modal Logic. Methuen, London
Hughes G., Cresswell M. (1996) A New Introduction to Modal Logic. Routledge, London and New York
Konikowska, B., ‘Rasiowa–Sikorski deduction system: a handy tool for computer science logic’, Proceedings WADT98, Springer Lecture Notes in Computer Science 1589:183–197, Springer: Berlin 1999.
Konikowska B. (2002) ‘Rasiowa–Sikorski deduction systems in computer science applications’. Theoretical Computer Science 286: 323–366
Leszczyńska D. (2004) ‘Socratic Proofs for Some Normal Modal Propositional Logics’. Logique & Analyse 47(185–188): 259–285
Leszczyńska D. (2007) The Method of Socratic Proofs for Modal Propositional Logics. Wydawnictwo UAM, Poznań
Leszczyńska, D., ‘A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5’, Journal of Philosophical Logic, 2008, to appear.
Rasiowa H., Sikorski R. (1960) ‘On the Gentzen Theorem’. Fundamenta Mathematicae 48: 57–69
Rasiowa H., Sikorski R. (1963) The Mathematics of Metamathematics. PAN, Warszawa
Smullyan R.M. (1968) First-Order Logic. Springer-Verlag, Berlin
Wiśniewski A. (1995) The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer Academic Publishers, Dordrecht, Boston, London
Wiśniewski A. (2001) ‘Questions and Inferences’. Logique & Analyse 44(173–175): 5–43
Wiśniewski A. (2004) ‘Socratic Proofs’. Journal of Philosophical Logic 33(3): 299–326
Wiśniewski A., Shangin V. (2006) ‘Socratic Proofs for Quantifiers’. Journal of Philosophical Logic 35(2): 147–178
Wiśniewski A., Shangin V. (2007) ‘Nêkotoryê dopustimyê pravila dlâ sistêmy sokratic̆êskoga vyvoda’. Vêstnik Moskovskogo Univêrsitêta. Sêriâ 7 Filosofiâ 5: 77–88
Wiśniewski A., Vanackere G., Leszczyńska D. (2005) ‘Socratic Proofs and Paraconsistency: A Case Study’. Studia Logica 80(2–3): 433–468
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Leszczyńska-Jasion, D. The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. Stud Logica 89, 365–399 (2008). https://doi.org/10.1007/s11225-008-9134-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-008-9134-5