An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
复制标题
STIT 想象逻辑的公理系统和 Tableau 演算
DOI：
10.1007/s10992-017-9426-1
复制
发表时间：
2017
影响因子：
1.5
通讯作者：
Heinrich Wansing
中科院分区：
文献类型：
--
作者：
Grigory Olkhovikov;Heinrich Wansing
我们为Wansing（2015）最近提出的基于STIT的想象逻辑制定了一个希尔伯特风格的公理系统和一个tableau演算。公理系统的完备性用典范模型的方法证明，表系统的完备性也用标准方法证明。
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.
登录
查看更多内容
影响因子：
1.5
作者：
H. Wansing
通讯作者：
H. Wansing
想象而知
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
T. Williamson
通讯作者：
T. Williamson
关于信念修正的推理
DOI：
--
发表时间：
2011
期刊：
Belief Revision meets Philosophy of Science
影响因子：
--
作者：
Caroline Semmling;H. Wansing
通讯作者：
H. Wansing
多智能体协商逻辑的 Tableaux
DOI：
--
发表时间：
2006
期刊：
Advances in Modal Logic
影响因子：
--
作者：
H. Wansing
通讯作者：
H. Wansing
影响因子：
1.3
作者：
H. Wansing
通讯作者：
H. Wansing