Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5 |
| |
| Authors: | Linh Anh Nguyen |
| |
| Affiliation: | (1) Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland |
| |
| Abstract: | We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics. |
| |
| Keywords: | modal logics analytic tableau systems interpolation |
| 本文献已被 SpringerLink 等数据库收录！ |
|
