|
|||||
|
|
Simplified Tableaux for STIT Imagination Logic |
|
| Authors: | Olkhovikov Grigory K Wansing Heinrich |
| Institution: | 1.Department of Philosophy I, Ruhr-University Bochum, Bochum, Germany ;2.Department of Philosophy, Ural Federal University, Ekaterinburg, Russia ; |
| Abstract: | Journal of Philosophical Logic - We show how to correct the analytic tableaux system from the paper Olkhovikov and Wansing (Journal of Philosophical Logic, 47(2), 259–279, 2018). |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |