Stit logic of justification announcements: a completeness result
Stit logic of justification announcements: a completeness result
复制标题
合理性公告的 Stit 逻辑：完整性结果
DOI：
10.1093/logcom/exy014
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Grigory Olkhovikov
中科院分区：
文献类型：
--
作者：
Grigory Olkhovikov
我们给出了一个逻辑系统的完备性结果，该逻辑系统结合了STIT逻辑和认知证明逻辑，以表示主体的证明活动。这一逻辑是在Olkhovikov和Wansing(2018，Studia Logica)中引入的语义上解释的。我们为该逻辑定义了一个Hilbert式公理系统，并证明了该系统相对于预期的语义是强完备的。
We present a completeness result for a logical system which combines stit logic and epistemic justification logic in order to represent proving activity of the agents. This logic is interpreted over the semantics introduced in Olkhovikov and Wansing (2018,Studia Logica). We define a Hilbert-style axiomatic system for this logic and show that this system is strongly complete relative to the intended semantics.
登录
查看更多内容
作为信念代理的推理第一部分：论证 Stit 逻辑的基础知识
影响因子：
0.7
作者：
Grigory Olkhovikov;Heinrich Wansing
通讯作者：
Heinrich Wansing
理由逻辑
影响因子：
1.5
作者：
Sergei N. Artëmov
通讯作者：
Sergei N. Artëmov
作为信念机构的推理第二部分：后果和改进
DOI：
10.26686/ajl.v14i4.3973
发表时间：
2017
期刊：
The Australasian Journal of Logic
影响因子：
--
作者：
Grigory Olkhovikov;Heinrich Wansing
通讯作者：
Heinrich Wansing
另类公理学和深思熟虑的 STIT 理论的复杂性
影响因子：
1.5
作者：
P. Balbiani;A. Herzig;N. Troquard
通讯作者：
N. Troquard