丹尼尔·罗内达尔 量化了时间的古希腊的布勒斯多斯泰克逻辑。 （英语） Zbl 1493.03003号 日志。通用。 15，第1号，1-65（2021）. 本文介绍了一阶模态语言的一个非常丰富的版本。语言包括四组不同的模式，可描述如下：●不道德情态：必然性和可能性加上普遍情态及其相关的双重性，即普遍可能性。●时间模式：有时（总是）在未来（过去）。加上有时和总是的绝对形式。后者无法从过去和未来的角度进行定义，因为通常不认为任何两个给定时刻在时间顺序上具有可比性。●道士模式：相信和构思。●所谓的基本方式：想要、接受、拒绝和漠不关心。该语言还包括等式谓词和特殊指定的一元谓词\（R）（表示有理）和\（E）（表示存在）。该语言提供了一种Kripke语义，其中（可能的）对象的域被假定为常量。除了对象域之外，模型还包括世界集和时间矩集，并且公式在世界矩对中进行评估。这些模型包括一组模态可及性关系，对应于语言中允许的不同模态组。虽然时间关系是以通常的格式给出的，但非逻辑模态可及性关系是三元的，参数元组的形式是\（（\mathrm{World}，\mathrm{Worldneneneep，\mathr m{Moment}）\），因此一个世界可以在特定时刻从另一个世界进行非逻辑可及性访问。在布尔可及性和多弹性可及性关系的情况下，参数元组甚至是四元的，并且具有形式\（（\mathrm{Object}，\mathrm{World}，\ mathrm}World，\mathr m{Moment}）\）。对象参数起着代理索引的作用，因为在当前设置中，代理作为对象存在于分配给给定世界的域中。作者没有为这种特殊的设置提供太多的理由，并着手考虑可能对本综述前一段中松散描述的克里普克模型的一般类施加的不同约束。自然，考虑到语言中存在大量的模式，可能的约束原则数量是天文数字；作者考虑了其中的100多个问题，分为16个表，整个讨论听起来相当单调。作者展示了另一组原则，并为每个原则写下了一个在满足原则的模型子类中有效的公式模式。没有试图从相反的方向进行论证，也没有表明某些公式也定义了相应的框架类。值得注意的是，作者显然更喜欢非常特殊的约束原则。所有这些都是一阶可定义的，而且，作者似乎没有试图使用模态可及性关系的新论证中固有的额外灵活性，因为它们总是通过一个通用闭包“退出游戏”。然后，作者转向证明理论，提供了一个标记分析表的基本系统，该系统并非完全无裁剪，因为它似乎需要裁剪规则的弱化版本。然而，该系统可以通过附加规则进行扩展，以适应上一节中考虑的所有或几乎所有约束。很难说100多个约束中的一些最终是否没有对应的约束，因为规则的呈现占用了26个表的空间。接下来是可证明定理模式的示例列表，这些示例被分为21个不同的组。然后通过饱和非封闭表分支并读取计数器模型的方法提供标准的完整性证明。本文最后试图激发该系统的适用性；更准确地说，作者研究了两个现实推理的例子，这两个例子似乎需要在考虑中的系统语言中提供全套资源。然而，直觉上很清楚，现实世界中使用的许多推理模式自由地结合了几种不同的模式，作者选择的两个具体例子似乎不太显眼，因为它们没有引起人们对先前已有文献的太多兴趣（作者似乎没有给出任何相关的参考文献，快速的互联网搜索也找不到任何参考文献）。审核人：格里戈里·奥尔霍维科夫（波鸿） 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B42号 知识和信念的逻辑（包括信念变化） 03B44号 时间逻辑 关键词：量化模态逻辑;模态逻辑;时序逻辑;布尔逻辑;多道逻辑;语义表 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal}，日志。Univers大学。15，编号1，1--65（2021；Zbl 1493.03003） 全文： DOI程序 参考文献： [1] 奥戈特内斯，T.，《交替时间时序逻辑中的行动和知识（知识、理性和行动）》，《综合》，149,2375-407（2006）·Zbl 1107.03013号 [2] Alechina，N。；Logan，B.，有限资源下的信仰归属，Synthese，173，2179-197（2013）·Zbl 1208.03018号 [3] 奥奎斯特，L.，《建立在二维情态时态逻辑基础上的历史必然性逻辑》，J.菲洛斯。日志。，28, 329-369 (1999) ·Zbl 0933.03015号 [4] 奥奎斯特，L.，《时态和道义情态的组合：关于具有历史必然性和条件义务的时间逻辑的RT方法》，J.Appl。日志。，3, 421-460 (2005) ·Zbl 1081.03016号 [5] 奥奎斯特，L。；霍佩尔曼，J。；Hilpinen，R.，《关于道义时态逻辑“树”系统的一些定理》，《道义逻辑新研究：规范、行动和伦理基础》，187-221（1981），多德雷赫特：D.Reidel出版社，多德雷赫特 [6] Askounis，D。；库特拉斯，CD；Zikos，Y.，知识意味着“所有”，信仰意味着“大多数”，J.Appl。非类别。日志。，26, 3, 173-192 (2016) ·Zbl 1398.03067号 [7] 巴查拉赫，MOL；杰拉德-瓦雷特，L-A；蒙金，P。；Shin，HS，《认识逻辑与游戏和决策理论》（1997），多德雷赫特：施普林格出版社·Zbl 0931.00027号 [8] Bailhache，P.，Les normes dans le temps et sur l’action（1986），《南特：逻辑的艺术》。南特南特大学 [9] Bailhache，P.，Essai de logique déontique（1991），巴黎：图书馆哲学，弗林，数学收藏，巴黎 [10] Bailhache，P.，道义分支时间：两个相关概念，Log。分析。，36, 159-175 (1993) ·Zbl 0839.03009号 [11] Bailhache，P.，时序道义逻辑的规范模型，Log。分析。，149, 3-21 (1997) ·Zbl 0973.03023号 [12] 巴尔比亚尼，P。；Herzig，A。；Troquard，N.，《替代公理学和审议性STIT理论的复杂性》，J.Philos。日志。，37, 387-406 (2008) ·Zbl 1151.03008号 [13] Barcan，RC，《基于严格蕴涵的一阶函数演算》，J.Symb。日志。，11, 1-16 (1946) ·兹比尔0063.00205 [14] 巴林格，H。；费希尔，M。；加巴伊，D。；Gough，G.，《时间逻辑的进展》（2000），柏林：施普林格出版社，柏林·Zbl 0931.00025 [15] 北卡罗来纳州贝尔纳普。；Perloff，M。；Xu，M.，《面向未来：我们不确定世界中的代理人和选择》（2001），牛津：牛津大学出版社，牛津 [16] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥：剑桥大学出版社，剑桥·Zbl 0988.03006号 [17] 布莱克本，P。；van Benthem，J。；Wolter，F.，《模态逻辑手册》（2007），阿姆斯特丹：爱思唯尔出版社·Zbl 1114.03001号 [18] Boh，I.，《中世纪的认识逻辑》（1993），阿宾顿：劳特利奇，阿宾登 [19] Bostock，D.，《中间逻辑》（1997），牛津：克拉伦登出版社，牛津·兹比尔0913.03001 [20] JM Broersen，《从意向行为的静态逻辑分析开始》，J.Philos。日志。，40, 4, 499-530 (2011) ·Zbl 1241.03019号 [21] 布罗森，JM；Dastani，M。；范德托雷，L。；Benferhat，S。；Besnard，P.，解决信仰、义务、意图和欲望之间的冲突，不确定性推理的符号和定量方法，568-579（2001），柏林：施普林格，柏林·Zbl 1001.68145号 [22] 伯吉斯，JP；加巴伊，D。；Guenthner，F.，《基本时态逻辑》，《哲学逻辑手册》，89-133（1984），《多德雷赫特：雷德尔，多德雷希特》·Zbl 0875.03046号 [23] Carnap，R.，《模式与量化》，J.Symb。日志。，11, 2, 33-64 (1946) ·Zbl 0063.00713号 [24] Chellas，BF，《命令的逻辑形式》（1969），斯坦福：佩里·莱恩出版社，斯坦福 [25] Chellas，BF，《模态逻辑：导论》（1980），剑桥：剑桥大学出版社，剑桥·Zbl 0431.03009号 [26] Church，A.，《数理逻辑导论》（1996），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 1016.03500号 [27] Ciuni，R。；Zanardo，A.，分支时间逻辑与可能选择的完备性，Stud.Log。，96, 393-420 (2010) ·Zbl 1216.03032号 [28] 科恩，公关；Levesque，HJ，意图是有承诺的选择，Artif。智力。，42, 213-261 (1990) ·Zbl 0721.03017号 [29] Corsi，G.，量化模态逻辑的统一完备性定理，J.Symb。日志。，67, 4, 1483-1510 (2002) ·Zbl 1043.03015号 [30] 达戈斯蒂诺，M。；DM Gabbay；Hähnle，R。；Posegga，J.，《表格方法手册》（1999），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0956.03001号 [31] MC DiMaio；Zanardo，A.，《T有效性的Gabbay-Rule-free公理化》，J.Philos。日志。，27, 435-487 (1998) ·兹伯利0920.03032 [32] 爱泼斯坦，RL，经典数理逻辑（2006），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 1103.03001号 [33] 费金，R。；JY Halpern；摩西，Y。；MY Vardi，《知识推理》（1995），剑桥：麻省理工学院出版社，剑桥·Zbl 0839.68095号 [34] Fine，K.，《情态和时态》（2005），牛津：牛津大学出版社，牛津·Zbl 1082.03002号 [35] 芬格，M。；加巴伊，D。；雷诺兹，M。；加巴伊，D。；Guenther，F.，《高级时态逻辑》，《哲学逻辑手册》，43-203（2002），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 1065.03001号 [36] 配件，M。；门德尔松，RL，一阶模态逻辑（1998），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 1025.03001号 [37] 配件，M。；塔尔曼，L。；Voronkov，A.，《模态逻辑》。螺柱日志。，69, 133-169 (2001) ·Zbl 0992.03026号 [38] Gabbay，DM，《情态逻辑和时态逻辑研究及其在哲学和语言学问题中的应用》（1976），多德雷赫特：雷德尔·Zbl 0374.02013 [39] Galeazzi，P。；Lorini，E.，《认识逻辑与认识博弈论：多主体Kripke模型与类型空间的比较》，Synthese，193，2097-2127（2016）·兹比尔1397.03020 [40] 加森，JW；DM Gabbay；Guenthner，F.，《模态逻辑中的量化》，《哲学逻辑手册》（1984），多德雷赫特：施普林格·Zbl 0875.03050号 [41] 加森，JW，《哲学家的模态逻辑》（2006），纽约：剑桥大学出版社，纽约·Zbl 1109.03001号 [42] Gensler，HJ，《逻辑导论》（2002），伦敦：劳特利奇出版社，伦敦·Zbl 1215.03001号 [43] 戈切特，P。；格里博蒙特，P。；DM Gabbay；Woods，J.，《认识逻辑》，《逻辑史手册》，99-195（2006），阿姆斯特丹：荷兰北部 [44] Goldblatt，R.，《时间与计算的逻辑》（1992），斯坦福：CSLI，斯坦福·Zbl 0635.03024号 [45] V.戈兰科。；Jamroga，W.，《多智能体系统逻辑语义比较（知识、理性和行为）》，综合，139,2,241-280（2004）·兹比尔1106.03009 [46] Hendricks，VF，Active agents（关于连接不同信息面的特刊），J.Log。语言信息，12，4，469-495（2003）·Zbl 1031.03009号 [47] VF亨德里克斯；约根森，KF；Pedersen，SA，知识贡献者。Synthese Library（2003），多德雷赫特：Kluwer Academic Publishers，多德雷赫特 [48] Hendricks，VF，《主流和形式认识论》（2005），纽约：剑桥大学出版社，纽约 [49] Herzig，A。；Lorini，E.，机构I的动态逻辑：STIT，能力和权力，J.Log。语言信息，19，1，89-121（2010）·Zbl 1189.03025号 [50] Hintikka，J.，《模态与量化》，《理论》，第27期，第117-128页（1961年） [51] 辛提卡，J.：《知识与信仰：两个概念的逻辑导论》。康奈尔大学出版社，伊萨卡。2005年重印，伦敦国王学院出版社（1962年） [52] Hoshi，T。；Yap，A.，具有分支时间结构的动态认知逻辑（知识、理性和行动。智能交互的逻辑），综合，169，2，259-281（2009）·Zbl 1184.03009号 [53] 霍蒂，JF，《代理与义务》，Synthese，108，269-307（1996）·兹伯利0935.03014 [54] 霍蒂，JF，代理与道义逻辑（2001），牛津：牛津大学出版社，牛津·Zbl 1119.03313号 [55] 霍蒂，JF；Belnap，N.，《审议策略：行为、不作为、能力和义务的研究》，J.Philos。日志。，24, 583-644 (1995) ·Zbl 0846.03001号 [56] GE休斯；MJ Cresswell，《模态逻辑导论》（1968），伦敦：劳特利奇出版社，伦敦·Zbl 0205.00503号 [57] GE休斯；MJ Cresswell，《模态逻辑新导论》（1996），伦敦：劳特利奇出版社，伦敦·Zbl 0855.0302号 [58] 艾萨克，A。；Hoshi，T.，《同步历时不确定性》，J.Log。语言信息，20，2，137-159（2011）·Zbl 1233.03009号 [59] 杰弗里，RC，《形式逻辑：其范围和极限》（1967），纽约：麦格劳-希尔，纽约·Zbl 0925.03002号 [60] 卡普扎克，M。；Penczek，W.，交替时间认知逻辑（知识、理性和行动）的基于卫星的无界模型检查方法，Synthese，142,2203-227（2004）·Zbl 1072.03012号 [61] 克劳斯，S。；莱曼，D.，《知识、信念和时间》，Theor。计算。科学。，58, 155-174 (1988) ·Zbl 0648.03017号 [62] Knuttila，S.，《古代和中世纪哲学中的情感》（2004），牛津：牛津大学出版社，牛津 [63] 克努提拉，S。；加巴伊，D。；Woods，J.，《中世纪模态理论和模态逻辑》，《逻辑历史手册：中世纪和文艺复兴逻辑》，505-578（2008），阿姆斯特丹：北荷兰特，阿姆斯特朗·Zbl 1135.03300号 [64] Kracht，M.，《模态逻辑中的工具和技术》。《逻辑研究》（1999），阿姆斯特丹：爱思唯尔出版社·Zbl 0927.03002号 [65] Kröger，F。；Merz，S.，《时间逻辑和状态系统》（2008），柏林：施普林格出版社，柏林·Zbl 1169.03001号 [66] Lenzen，W.，《认知逻辑近期研究》，《哲学学报》。芬恩。，30, 1-219 (1978) ·Zbl 0397.0302号 [67] Lenzen，W.，Glauben（1980），维也纳：Wissen und Wahrscheinlichkeit。施普林格，维也纳·Zbl 0466.03001号 [68] Lenzen，W。；尼尼洛托，I。；辛顿，M。；沃伦斯基，J.，《认识逻辑》，《认识论手册》，963-983（2004），多德雷赫特：克鲁沃学术出版社，多德雷赫特 [69] 路易斯，CI；Langford，CH，符号逻辑（1932），纽约：世纪公司，纽约 [70] Lindström，S.：关于在逻辑和形而上学模式的背景下正确处理量化。收录于：Lagerlund，H.，Lindström，S.，Sliwinski，R.（编辑）《情态问题：二十五篇纪念克里斯特·塞格伯格的论文》，《乌普萨拉哲学研究》，第53卷。乌普萨拉（2006） [71] 林德斯特伦，S。；塞格伯格，K。；布莱克本，P。；van Benthem，J。；Wolter，F.，模态逻辑与哲学，模态逻辑手册。《逻辑和实践推理研究》，1149-1215（2007），阿姆斯特丹：爱思唯尔出版社·兹比尔1114.03001 [72] Lorini，E。；Herzig，A.，《意图和尝试的逻辑（知识、理性和行动）》，综合，163，1，45-77（2008）·Zbl 1152.03008号 [73] Mally，E.：Sollens公司：Elemente der Logik des Willens。Leuschner和Lubensky（1926） [74] 马拉，A。；克莱因，D。；范德霍克，W。；佛罗里达州霍利迪；Wang，W.，《逻辑与伦理：规范、意图和行动的综合模型》，《逻辑、理性和互动国际研讨会》，268-281（2015），柏林：施普林格出版社，柏林·Zbl 1471.03006号 [75] 梅勒，AR，《牛津理性手册》（2004），牛津：牛津大学出版社，牛津 [76] 梅耶，JJC；van der Hoek，W.，《人工智能和计算机科学的认识逻辑》（1995），剑桥：剑桥大学出版社，剑桥·Zbl 0868.03001号 [77] 莫哈利克，S。；Ramanujam，R.，具有同步通信的认知时间逻辑自动机（机构的时间逻辑），J.Log。语言信息，19，4，451-484（2010）·Zbl 1234.03008号 [78] Montague，R.，《逻辑必然性、物理必然性、伦理学和量词》，《探究》，4259-269（1960） [79] Müller，T.，Nuel Belnap on Indetermism and Free Action（2014），柏林：施普林格出版社，柏林·兹比尔1284.03006 [80] Øhrström，P。；Hasle，PFV，《时间逻辑：从古代思想到人工智能》（1995），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0855.03003号 [81] 奥尔霍维科夫，GK；Wansing，H.，STIT想象逻辑的公理系统和表格演算，J.Philos。日志。，47, 259-279 (2018) ·Zbl 1436.03114号 [82] Parks，Z.，量化模态逻辑研究-I，Stud.Log。，35, 109-125 (1976) ·Zbl 0332.02028号 [83] 普里斯特，G.，《走向非生物》（2005），牛津：牛津大学出版社，牛津·Zbl 1274.00014号 [84] Priest，G.，《非经典逻辑导论》（2008），剑桥：剑桥大学出版社，剑桥·Zbl 1148.03002号 [85] Prior，A.，《过去、现在和未来》（1967），牛津：克拉伦登，牛津·Zbl 0169.29802号 [86] Rescher，N。；Urquhart，A.，时间逻辑（1971），维也纳：施普林格，维也纳·Zbl 0229.02027 [87] Rescher，N.，《认识逻辑：知识逻辑概览》（2005），匹兹堡：匹兹堡大学出版社 [88] Rönnedal，D.，《时间古希腊逻辑和语义表》，J.Appl。日志。，10, 219-237 (2012) ·Zbl 1264.03054号 [89] Rönnedal，D.，道克斯逻辑：一种新方法，J.Appl。非类。日志。，28313-347（2018）·Zbl 1436.03115号 [90] Rönnedal，D.，《Boulesic-doxastic逻辑》，澳大利亚。J.日志。，16, 3, 83-132 (2019) ·Zbl 1456.03032号 [91] Rönnedal，D.，《布勒斯逻辑、道义逻辑和完美理性意志的结构》，奥加纳F，27，2，187-262（2020） [92] Sack，J.，《认知程序的时间语言》，J.Log。语言信息，17，2，183-216（2008）·Zbl 1184.03010号 [93] Segerberg，K.，《经典模态逻辑论文》（1971），乌普萨拉：乌普巴拉大学·Zbl 0311.02028号 [94] 塞姆林，C。；Wansing，H.，从BDI和stit到BDI stit逻辑，日志。日志。菲洛斯。，17, 185-207 (2008) ·Zbl 1159.03013号 [95] Smullyan，RM，树木和巢穴结构，J.Symb。日志。，303-321（1966年）·Zbl 0149.00501号 [96] Smullyan，RM，一阶逻辑（1968），海德堡：斯普林格·Zbl 0172.28901号 [97] Stalnaker，R.，《论知识和信仰的逻辑》，Philos。螺柱，128，169-199（2006） [98] Stalnaker，R。；托马森，R.，《一阶模态逻辑的抽象》，《理论》，第34期，第203-207页（1968年） [99] 托马森，R。；Stalnaker，R.，《情态与参考》，No.s，2，4，359-372（1968） [100] 托马森，R。；Lambert，K.，《模态谓词计算的一些完备性结果》，《逻辑学中的哲学问题》（1970），多德雷赫特：D.Reidel，Dordrecht·兹比尔0188.32002 [101] 托马森，R。；Hilpinen，R.，《建立在时态逻辑基础上的道义逻辑》，《道义逻辑新研究：规范、行动和伦理基础》，165-176（1981），多德雷赫特：D.Reidel出版社，多德雷赫特 [102] 托马森，R。；Hilpinen，R.，《道义逻辑和自由在道德审议中的作用》，《道教逻辑新研究：规范、行动和伦理学基础》，177-186（1981），多德雷赫特：D.Reidel出版公司，多德雷赫特 [103] 托马森，R。；DM Gabbay；Guenthner，F.，《时态和情态的组合》，《哲学逻辑手册》，135-165（1984），多德雷赫特：施普林格·兹伯利0875.03047 [104] van Benthem，J.，模态逻辑和经典逻辑（1983），那不勒斯：那不勒斯图书馆·Zbl 0639.03014号 [105] van Benthem，J.，《内涵逻辑手册》（1985），斯坦福：CSLI出版社，斯坦福·Zbl 0678.03010号 [106] 范·本特姆，J.，《认识逻辑和认识论：他们的状况》，《哲学》。螺柱，128，49-76（2006） [107] van Benthem，J.，《开放思维的模态逻辑》（2010），斯坦福：CSLI出版物，斯坦福 [108] 范德霍克，W。；Wooldridge，M.，《合作、知识与时间：交替时间时间认知逻辑及其应用（知识的动力学）》，Stud.Log。，75, 1, 125-157 (2003) ·Zbl 1034.03013号 [109] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2008），柏林：施普林格，柏林·Zbl 1156.03015号 [110] van Eck，JE，时间相对模态和道义谓词逻辑系统及其哲学应用（1981），哲学系：格罗宁根大学哲学系·Zbl 0549.03004号 [111] 冯·库茨切拉（von Kutschera，F.），《精锐的塞万提克》（1976）中的艾因夫·朗（Einführung），柏林：德格鲁伊特出版社，柏林·Zbl 0396.03017号 [112] von Kutschera，F.，Grundfragen der Erkenntnistheorie（1981），柏林：德格鲁伊特，柏林 [113] von Kutschera，F.，《T（times W）完备性》，J.Philos。日志。，26, 241-250 (1997) ·Zbl 0873.03023号 [114] Wooldridge，M.，《多智能体系统导论》（2002），奇切斯特：威利 [115] Wölfl，S.，谓词逻辑的时态和情态组合，J.Philos。日志。，28, 371-398 (1999) ·Zbl 0933.03014号 [116] 徐，M.，单主体stit理论的可判定性与refref等价，Stud.Log。，53, 259-298 (1994) ·Zbl 0802.03007号 [117] Xu，M.，《做和克制》，J.Philos。日志。，23, 621-632 (1994) ·Zbl 0813.03004号 [118] Xu，M.，《忙碌的选择序列、约束公式和模式》，研究日志。，54, 267-301 (1995) ·Zbl 0824.03008号 [119] Xu，M.，审议准则，J.Philos。日志。，27, 5, 505-552 (1998) ·兹比尔0917.03007 [120] 徐，M.，《stit与应然和知性的结合》，J.Philos。日志。，44, 851-877 (2015) ·Zbl 1354.03024号 [121] Zakharyaschev，M。；塞格伯格，K。；de Rijke，WH，模态逻辑进展（2001），斯坦福：CSLI出版物，斯坦福 [122] Zanardo，A.，《分支上量化的分支时间逻辑：模态逻辑的观点》，J.Symb。日志。，61, 1, 1-39 (1996) ·Zbl 0858.03021号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。