The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

DOI10.1007/s11225-008-9134-5zbMath1169.03008OpenAlexW2129223873MaRDI QIDQ1005938

Dorota Leszczyńska-Jasion

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9134-5

zbMATH Keywords

erotetic logicmodal propositional logicsextension of S4Socratic proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Automated Generation of Erotetic Search Scenarios, Socratic trees, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), Generating cooperative question-responses by means of erotetic search scenarios, Answering by Means of Questions in View of Inferential Erotetic Logic, A loop-free decision procedure for modal propositional logics K4, S4 and S5, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., The Method of Socratic Proofs Meets Correspondence Analysis, A Defeasible Calculus for Zetetic Agents

Cites Work

• Socratic proofs and paraconsistency: A case study
• The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
• Proof methods for modal and intuitionistic logics
• Rasiowa-Sikorski deduction systems in computer science applications.
• Socratic proofs
• A loop-free decision procedure for modal propositional logics K4, S4 and S5
• Socratic proofs for quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item