The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F,S4R,S4M and G |
| |
| Authors: | Dorota Leszczyńska-Jasion |
| |
| Institution: | (1) Institute of Psychology, Adam Mickiewicz University, ul.Szamarzewskiego 89a, Poznań, Poland |
| |
| 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.
Presented by Jacek Malinowski |
| |
| Keywords: | modal propositional logics extensions of logic S4 the method of Socratic proofs logic of questions Inferential EroteticLogic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
