An Axiomatic System and a Tableau Calculus for STIT Imagination Logic |
| |
Authors: | Grigory K. Olkhovikov Heinrich Wansing |
| |
Affiliation: | 1.Department of Philosophy II,Ruhr-University Bochum,Bochum,Germany;2.Department of Philosophy,Ural Federal University,Ekaterinburg,Russia |
| |
Abstract: | We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing (2015). Completeness of the axiom system is shown by the method of canonical models; completeness of the tableau system is also shown by using standard methods. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|