An Axiomatic System and a Tableau Calculus for STIT Imagination Logic |
| |
| Authors: | Grigory K Olkhovikov Heinrich Wansing |
| |
| Institution: | 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 等数据库收录！ |
|
