迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加维罗 Good-for-game QPTL：一种交替的hodges语义。 （英语） 兹比尔07650600 ACM事务处理。计算。日志。 24，第1号，第4条，57页（2023年）. 引用于1文件 MSC公司： 03B70号 计算机科学中的逻辑 68倍 计算机科学 关键词：战略推理;好的游戏逻辑;组合语义和游戏理论语义;行为量化;量化命题时态逻辑;可满足性与模型检验;反应合成;可实现性 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人，ACM Trans。计算。日志。24，第1号，第4条，57页（2023年；Zbl 07650600） 全文： 内政部 arXiv公司 参考文献： [1] Abramsky，S.、Kontine，J.、Väänänen，J.A.和Vollmer，H.，2016年。依赖逻辑：理论与应用。斯普林格·Zbl 1348.03004号 [2] Acar，E.、Benerecetti，M.和Mogavero，F.，2019年。策略逻辑中的可满足性比模型检查更容易。在AAAI Press19中。AAAI出版社，2638-2645。 [3] Benerecetti，M.、Mogavero，F.和Murano，A.，2013年。子结构时序逻辑。计算机科学中的逻辑。IEEE计算机学会，368-377·Zbl 1366.03182号 [4] Benerecetti，M.、Mogavero，F.和Murano，A.，2015年。关于子结构和游戏的推理。计算逻辑汇刊16，3（2015），25:1-46·Zbl 1354.03019号 [5] Blass，A.和Gurevich，Y.，1986年。汉金量词和完整问题。《纯粹与应用逻辑年鉴》32，1（1986），1-16·Zbl 0618.03016号 [6] Boker，U.和Lehtinen，K.，2019年。游戏自动机的优点：从不确定性到交替性。《并发理论》19（LIPIcs 140），第140卷。莱布尼茨信息中心，19:1-19·Zbl 07649927号 [7] Buss，S.R.，1998年。证明理论手册。爱思唯尔·Zbl 0898.03001号 [8] Chatterjee，K.、Henzinger，T.A.和Piterman，N..2007年。战略逻辑。2007年《并发理论》（LNCS 4703）。施普林格，59-73·Zbl 1151.03327号 [9] Chatterjee，K.、Henzinger，T.A.和Piterman，N..，2010年。战略逻辑。信息与计算208，6（2010），677-693·Zbl 1205.68197号 [10] Clarkson，M.R.、Finkbeiner，B.、Koleini，M.、Micinski，K.K.、Rabe，M.和Sánchez，C.，2014年。超属性的时间逻辑。《安全与信任原则》（LNCS 8414）。施普林格，265-284。 [11] Clarkson，M.R.和Schneider，F.B.，2010年。超属性。《计算机安全杂志》18，6（2010），1157-1210。 [12] Coenen，N.、Finkbeiner，B.、Hahn，C.和Hofmann，J.，2019年。超词的层次结构。《计算机科学中的逻辑》19。IEEE计算机学会，1-13。 [13] Emerson，E.A.和Jutla，C.S.，1988年。树自动机和程序逻辑的复杂性（扩展抽象）。88年计算机科学基础。IEEE计算机学会，328-337。 [14] Emerson，E.A.和Jutla，C.S.，1991年。树自动机、微积分和确定性。91年计算机科学基础。IEEE计算机学会，368-377。 [15] 艾默生·E.A.、朱特拉·C.S.和西斯特拉·A.P.，1993年。关于muCalculus片段的模型检查。1993年计算机辅助验证（LNCS 697）。施普林格，385-396。 [16] Finkbeiner，B.和Hahn，C.，2016年。决定超属性。《并发理论》16（LIPIcs 59）。莱布尼茨-中央情报局，13:1-14·Zbl 1392.68248号 [17] Finkbeiner，B.、Rabe，M.N.和Sánchez，C.，2015年。模型检查算法HyperLTL和HyperCTL*。《计算机辅助验证》（LNCS 9206）。施普林格，30-48岁·Zbl 1381.68161号 [18] Finkbeiner，B.和Schewe，S.，2010年。协调逻辑。《计算机科学逻辑》10（LNCS 6247）。施普林格，305-319·Zbl 1287.03070号 [19] Finkbeiner，B.和Zimmermann，M.，2016年。超属性的一阶逻辑。17年计算机科学理论方面研讨会（LIPIcs 66）。莱布尼茨-中央情报局，30:1-14·Zbl 1402.03036号 [20] French，T.，2001年。量化命题分支时间逻辑的可判定性。《2001年人工智能进展》（LNCS 2256）。斯普林格，165-176·Zbl 1052.03007号 [21] Fritz，P.和Goodman，J.，2017年。计算不可能的事情。Mind126，504（2017），1063-1108。 [22] Gale，D.和Stewart，F.M.，1953年。拥有完美信息的无限游戏。《对游戏理论的贡献》（第二卷）。第28卷。普林斯顿大学出版社，245-266·Zbl 0050.14305号 [23] Gardy，P.、Bouyer，P.和Markey，N.，2018年。战略逻辑中的依赖性。在计算机科学理论方面的研讨会上（LIPIcs 96）。莱布尼兹·泽特鲁姆·福尔·Informatik，34:1-15·Zbl 1484.68101号 [24] Gardy，P.、Bouyer，P.和Markey，N.，2020年。取决于战略逻辑。理论计算机科学64，3（2020），467-507·Zbl 1484.68100号 [25] Giacomo，G.De和Perelli，G.，2021年。行为QLTL。技术报告。arXiv公司。 [26] Grädel，E.、Thomas，W.和Wilke，T.，2002年。自动机、逻辑和无限游戏：当前研究指南。斯普林格·Zbl 1011.00037号 [27] Grädel，E.和Väänänen，J.A.，2013年。依赖和独立。《逻辑研究》101，2（2013），399-410·兹比尔1272.03125 [28] Gutierrez，J.、Harrenstein，P.和Wooldridge，M.，2013年。迭代布尔游戏。在2013年国际人工智能联合会议上。国际人工智能联合会议和AAAI出版社，932-938·Zbl 1318.91012号 [29] Gutierrez，J.、Harrenstein，P.和Wooldridge，M.，2015年。迭代布尔游戏。《信息与计算》242（2015），53-79·Zbl 1318.91012号 [30] Heikkilä，H.和Väänänen，J.A.，1994年。长游戏公式的反映。《数学逻辑季刊》40，3（1994），381-392·Zbl 0864.03027号 [31] Hella，L.，1989年。广义量词的可定义层次。《纯粹与应用逻辑年鉴》43，3（1989），235-271·Zbl 0683.03020号 [32] 亨金，L.，1961年。关于无穷长公式的一些注记。在《无限方法》61。佩加蒙出版社，167-183·Zbl 0121.25308号 [33] Henzinger，T.A.和Piterman，N.，2006年。不确定地解决游戏。2006年计算机科学逻辑（LNCS 4207）。施普林格，395-410·Zbl 1225.68118号 [34] Hintikka，J.，1973年。逻辑、语言-游戏和信息：逻辑哲学中的康德主题。牛津大学出版社·Zbl 0253.02005号 [35] Hintikka，J.，1973年。量词与量化理论。《辩证法》27，3-4（1973），329-358·Zbl 0362.0208号 [36] 辛提卡，J.，1997年。语言普遍性与微积分推理：二十世纪哲学的终极预设。斯普林格。 [37] Hintikka，J.和Rantala，V.，1976年。一种处理不定式语言的新方法。《数理逻辑年鉴》10，1（1976），95-115·Zbl 0339.020133号 [38] Hintikka，J.和Sandu，G.，1989年。信息独立是一种语义现象。在89年国际逻辑、方法论和科学哲学大会上。爱思唯尔，571-589·Zbl 0683.03004号 [39] Hintikka，J.和Sandu，G.，1997年。游戏理论语义学。《逻辑和语言手册》。北霍兰德和埃尔塞维尔，361-410。 [40] Hodges，W.，1997年。较短的模型理论。剑桥大学出版社·Zbl 0873.03036号 [41] Hodges，W.，1997年。不完全信息语言的合成语义。IGPL5的逻辑杂志，4（1997），539-563·Zbl 0945.03034号 [42] 霍奇斯，W.，1997年。一些奇怪的量词。逻辑与计算机科学结构：纪念A.Ehrenfeucht的论文选集。施普林格，51-65·Zbl 0883.03022号 [43] Immerman，N.，1981年。量词的数量比磁带单元格的数量好。《计算机与系统科学杂志》22，3（1981），384-406·Zbl 0486.03019号 [44] Kaiser，L.，2011年。自动结构的逻辑和游戏——量词和分解的游戏。斯普林格·Zbl 1225.03047号 [45] Khoussainov，B.和Nerode，A.，2001年。自动机理论及其应用。比克豪泽·Zbl 1083.68058号 [46] Kolaitis，P.G.，1985年。游戏量化。在《模型理论逻辑手册》中。施普林格，365-421。 [47] Krebs，A.、Meier，A.、Virtema，J.和Zimmermann，M.，2018年。超属性规范和验证的团队语义。《计算机科学数学基础》18（LIPIcs 117）。莱布尼茨新闻中心，10:1-16·Zbl 1510.68043号 [48] Kreps，D.M.、Milgrom，P.、Roberts，J.和Wilson，R.，1982年。在有限重复的囚犯困境中进行理性合作。《经济理论杂志》27，2（1982），245-252·Zbl 0485.90092号 [49] 库恩，H.W.，1950年。广泛的游戏。《国家科学院院刊》36，1（1950），570-576·Zbl 0039.13402号 [50] 库恩，H.W.，1953年。广泛的游戏和信息问题。《对游戏理论的贡献》（第二卷）。第28卷。普林斯顿大学出版社，193-216·兹比尔0050.14303 [51] Kuusisto，A.，2015年。广义量词的双组语义。《逻辑、语言与信息杂志》24，2（2015），149-191·Zbl 1350.03025号 [52] Laroussinie，F.和Markey，N.，2014年。量化CTL：表达性和复杂性。《计算机科学中的逻辑方法》10，4（2014），1-45·Zbl 1448.68304号 [53] Lorenz，K.，1968年。对话是Logikkalkülen的语义组合。Archive für Mathematische Logik und Grundlagensforschung（1968），第32-55页·Zbl 0179.01302号 [54] Lorenzen，P.，1961年。Ein dialogisches Konstruktivitätskriterium公司。在59年数学基础研讨会上。波兰科学出版社，193-200年·Zbl 0117.01303号 [55] Mann，A.L.、Sandu，G.和Sevenster，M.，2011年。独立友好逻辑-博弈论方法。剑桥大学出版社·Zbl 1218.03002号 [56] 马丁，医学博士，1975年。Borel确定性。《数学年鉴》102，2（1975），363-371·Zbl 0336.02049号 [57] 马丁，公元1985年。Borel确定性的纯归纳证明。82年递归理论（42年纯数学专题讨论会）。美国数学学会和符号逻辑协会，303-308·Zbl 0614.03048号 [58] Mogavero，F.、Murano，A.、Perelli，G.和Vardi，M.Y.，2012年。是什么使ATL*可判定？战略逻辑的一个决定性片段。《并发理论》12（LNCS 7454）。施普林格，193-208年·Zbl 1365.68329号 [59] Mogavero，F.、Murano，A.、Perelli，G.和Vardi，M.Y.，2014年。关于策略的推理：关于模型选择问题。《计算逻辑学报》15，4（2014），34:1-42·Zbl 1354.68178号 [60] Mogavero，F.、Murano，A.、Perelli，G.和Vardi，M.Y.，2017年。策略推理：关于可满足性问题。计算机科学中的逻辑方法13，1:9（2017），1-37·Zbl 1448.68312号 [61] Mogavero，F.、Murano，A.和Sauro，L.，2013年。关于行为策略的边界。计算机科学中的逻辑。IEEE计算机学会，263-272·Zbl 1367.68290号 [62] Mogavero，F.、Murano，A.和Sauro，L.，2014年。战略逻辑的行为层次结构。《多智能体系统中的计算逻辑》（LNCS 8624）。施普林格，148-165·Zbl 1390.68614号 [63] Mogavero，F.、Murano，A.和Vardi，M.Y.，2010年。推理策略。《软件技术和理论计算机科学基础》10（LIPIcs 8）。莱布尼茨-中央情报局，133-144·Zbl 1245.68138号 [64] Mostowski，A.W.，1984年。无限树的正则表达式和标准形式的自动机。在计算理论研讨会'84（LNCS 208）上。施普林格，157-168·Zbl 0612.68046号 [65] Mostowski，A.W.，1991年。带有禁止位置的游戏。技术报告。波兰根斯克根斯克大学。 [66] Muller，D.E.和Schupp，P.E.，1995年。用非确定性自动机模拟交替树自动机：Rabin、McNaughton和Safra定理的新结果和新证明。理论计算机科学141，1-2（1995），69-107·Zbl 0873.68135号 [67] Myerson，R.B.，1991年。博弈论：冲突分析。哈佛大学出版社·Zbl 0729.90092号 [68] Perrin，D.和Pin，J.，2004年。无限单词。爱思唯尔·Zbl 1094.68052号 [69] 皮特曼，N.2006。从非确定性Büchi和Streett自动机到确定性奇偶自动机。2006年计算机科学中的逻辑。IEEE计算机学会，255-264·Zbl 1125.68067号 [70] Pnueli，A.，1977年。程序的时序逻辑。77年计算机科学基础。IEEE计算机学会，46-57。 [71] Pnueli，A.，1981年。并发程序的时间语义。理论计算机科学13（1981），45-60·Zbl 0441.68010号 [72] Pnueli，A.和Rosner，R.，1989年。关于反应模的合成。《程序设计语言原理》89。计算机协会，179-190年·Zbl 0686.68015号 [73] Sandu，G.，1993年。关于信息独立性的逻辑及其应用。《哲学逻辑学杂志》22（1993），29-60·兹比尔0764.03009 [74] Sandu，G.和Hintikka，J.，2001年。成分方面。《逻辑、语言与信息杂志》10，1（2001），49-61·Zbl 0970.03014号 [75] Sandu，G.和Vänänen，J.A.，1992年。部分有序连接词。《数学逻辑季刊》38，1（1992），361-372·Zbl 0798.0304号 [76] Selten，R.，1975年。重新审视广泛博弈中平衡点的完备性概念。《国际游戏理论杂志》4，1（1975），25-55·Zbl 0312.90072号 [77] Sistla，A.P.，1983年。分布式系统设计和验证中的理论问题。哈佛大学，剑桥，马萨诸塞州，美国。 [78] Sistla，A.P.、Vardi，M.Y.和Wolper，P.，1987年。Büchi自动机的互补问题及其在时序逻辑中的应用。理论计算机科学49（1987），217-237·Zbl 0613.03015号 [79] Väänänen，J.A.，2007年。依赖逻辑：独立友好逻辑的新方法，第70卷。剑桥大学出版社·Zbl 1117.03037号 [80] J.van海耶诺特。1967年，《从弗雷格到哥德尔：数理逻辑源书》，1879-1931年。哈佛大学出版社·兹比尔0183.00601 [81] Vardi，M.Y.和Wolper，P.，1986年。自动程序验证的自动机理论方法。86年计算机科学中的逻辑。IEEE计算机学会，332-344。 [82] Vardi，M.Y.和Wolper，P.，1986年。程序模态逻辑的自动机理论技术。《计算机与系统科学杂志》32，2（1986），183-221·Zbl 0622.03017号 [83] Virtema，J.，Hofmann，J.、Finkbeiner，B.、Kontine，J.和Yang，F.，2021年。具有团队语义的线性时间时序逻辑：表达性和复杂性。在软件技术和理论计算机科学基础’21（LIPIcs 213）中。莱布尼兹·泽特鲁姆·福尔·Informatik，52:1-17。 [84] J.von·诺依曼。1928年的今天。数学。Ann.100，1（1928），295-320。 [85] 纽曼·J·冯和摩根斯顿，O.，1944年。博弈论与经济行为。普林斯顿大学出版社·Zbl 0063.05930号 [86] Wolfe，P.，1955年。某些无限对策的严格确定性。《太平洋数学杂志》5（1955），841-847·Zbl 0066.38003号 [87] 齐埃隆卡，W.，1998年。有限色图上的无限游戏，以及无限树上自动机的应用。理论计算机科学200，1-2（1998），135-183·Zbl 0915.68120号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。