A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5 |
| |
| Authors: | Dorota Leszczyńska-Jasion |
| |
| Affiliation: | (1) Section of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Poznań, Poland |
| |
| Abstract: | The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL. |
| |
| Keywords: | logic of questions loop-free procedures the method of Socratic proofs transitive modal logics |
| 本文献已被 SpringerLink 等数据库收录！ |
