×

单智能体stit理论的可判定性和Refref等价性。 (英语) Zbl 0802.03007号

本文为stit理论提供了一个公理化N.贝尔纳普M.珀洛夫[“注意:施事的规范形式”,载于:H.E.Kyburg jun.、R.P.Loui和G.N.Carlson(编辑),《知识表示和可辩解推理》(1990;Zbl 0743.68024号)]. 公理化包括Refref原则(克制和克制是一样的)。对于不存在繁忙选择序列(有限时间内无限多个非真空选择)的模型类,该理论被证明具有有限模型性质。与这类模型相关的公理化的完整性,以及理论的可判定性,以通常的方式遵循。

MSC公司:

03年2月25日 理论和句子集的可决定性
03B45号 模态逻辑(包括规范逻辑)
03A05号 逻辑和基础的哲学和批判性方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] N.Belnap,252《1989年讲义》。未出版手稿,匹兹堡大学哲学系,1989年。
[2] N.Belnap,《代理的模态逻辑的向后和向前》,《哲学和现象学研究》,51(1991),第777-807页·doi:10.2307/2108182
[3] N.贝尔纳普(N.Belnap),《克制之前:代理的概念》(Before refraining:conceptions for agency),埃尔肯尼斯(Erkentnis),34 1991年,第137-169页·doi:10.1007/BF00385718
[4] N.Belnap和M。Perloff,《看着它:代词的规范形式》,Theoria,54 1988年,第175-199页。贝尔纳普在[2]和[4]中指出,本文中对它的非正式语义描述是混乱的;本文版本中的描述是正确的,再版于《知识表示和可推翻推理》,H.E.Kyburg,Jr.,R.P.Loui和G.N.Carlson(编辑),Dordrecht/Boston/London,1990,第167-190页;并且在[3]和其他论文的版本中是正确的。 ·doi:10.1111/j.1755-2567.1988.tb00717.x
[5] N.Belnap和M。Perloff,在代理领域。?1991年12月11日至13日,阿姆斯特丹首届计算机科学道义逻辑国际研讨会,Meyer,J.-J.Ch.和Wieringa,R.J.(编辑),1991年,第107-126页。这篇论文的轻微修订版即将在AMAI上发布。
[6] N.Belnap和M。珀洛夫,代理人的方式。Studia Logica,51 1992,第463-484页·Zbl 0789.03023号 ·doi:10.1007/BF01028971
[7] B.F.Chellas,《代理逻辑中的时间和形式》,Studia Logica,51 1992年,第485-517页·Zbl 0788.0302号 ·doi:10.1007/BF01028972
[8] 徐先生,做和克制克制。《哲学逻辑杂志》即将出版·Zbl 0813.03004号
[9] M.Xu,忙碌的选择序列,克制公式和方式。未出版手稿,匹兹堡大学哲学系,1992年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。