利昂娜·莫利卡 行动和控制的逻辑。 (英语) Zbl 07753829号 J.菲洛斯。日志。 52,第5期,1237-1268(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Mollica},J.Philos。日志。52,编号5,1237--1268(2023;Zbl 07753829) 全文: 内政部
帕维尔·瑙莫夫;陶,贾 战略游戏中的反事实责任和看客责任。 (英语) Zbl 07741123号 Ann.纯粹应用。逻辑 174,第10号,文章ID103353,31页(2023).MSC公司:03财年03 03A10号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},Ann.Pure Appl。逻辑174,第10号,文章ID 103353,31页(2023;Zbl 07741123) 全文: 内政部
阿拉德·塔明加;海因·杜伊夫;范德普特,弗雷德里克 集体代理的道义逻辑的表现性结果。 (英语) Zbl 1525.03062号 合成 198,编号9,8733-8753(2021).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tamminga}等人,Synthese 198,No.9,8733--8753(2021;Zbl 1525.03062) 全文: 内政部
内格里,S。;巴甫洛维奇,E。 代理逻辑的实证分析:审议性STIT。 (英语) Zbl 07383328号 螺柱日志。 109,编号3,473-507(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri}和\textit{E.Pavlović},研究日志。109,编号3,473--507(2021;Zbl 07383328) 全文: 内政部
丹尼尔·罗内达尔 量化的时间阿留申式的教条逻辑。 (英语) Zbl 1493.03003号 日志。Univers大学。 15,第1号,1-65(2021). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B45号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},日志。Univers大学。15,编号1,1--65(2021;Zbl 1493.03003) 全文: 内政部
帕维尔·瑙莫夫;陶,贾 应受责备的认知逻辑。 (英语) Zbl 1435.03037号 Artif公司。智力。 283,文章ID 103269,24 p.(2020).MSC公司:03B42号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},Artif。智力。283,文章ID 103269,24 p.(2020;Zbl 1435.03037) 全文: 内政部 链接
格里戈里·奥尔霍维科夫。;海因里希·瓦辛 推论作为强词夺理的代理。一: 辩护的基础是逻辑。 (英语) Zbl 07055416号 螺柱日志。 107,第1期,167-194(2019).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Olkhovikov}和\textit{H.Wansing},Stud.Log。107,第1号,167--194(2019;Zbl 07055416) 全文: 内政部
海因里希·瓦辛 关于想象力逻辑的评论。通过想象理解多角形控制的一步。 (英语) Zbl 1417.03104号 合成 194,编号8,2843-2861(2017).MSC公司:03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},综合194,第8期,2843--2861(2017;Zbl 1417.03104) 全文: 内政部
埃米利亚诺·洛里尼;乔瓦尼·萨托 推理社会影响的STIT逻辑。 (英语) Zbl 1417.03225号 螺柱日志。 104,第4期,773-812(2016).MSC公司:03B80号 03B42号 03B70号 68T27型 91D10号 91D20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini}和\textit{G.Sartor},Stud.Log。104,第4号,773--812(2016;Zbl 1417.03225) 全文: 内政部
徐明 以下各项的组合斯蒂特具有应该和知道. (英语) Zbl 1354.03024号 J.菲洛斯。日志。 44,第6号,851-877(2015).MSC公司:03B45号 03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \发短信{M.Xu},J.Philos。日志。44,第6号,851--877(2015;Zbl 1354.03024) 全文: 内政部
简·布罗森;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长,Xavier;范德托雷,Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦·施瓦森特鲁伯 规范推理和结果。 (英语) Zbl 1482.68227号 Andrighetto,Giulia(编辑)等,规范化多智能体系统。第三届研讨会会议记录,德国达格斯图尔,2012年。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 4,33-70(2013)。MSC公司:68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Broersen}等人,Dagstuhl Follow-Ups 4,33--70(2013;Zbl 1482.68227) 全文: 内政部
埃米利亚诺·洛里尼 时序STIT逻辑及其在规范推理中的应用。 (英语) Zbl 1398.03080号 J.应用。非类别。日志。 23,第4期,372-399(2013).MSC公司:03B44号 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini},J.应用。非类别。日志。23,第4号,372--399(2013;Zbl 1398.03080) 全文: 内政部
弗朗索瓦·施瓦森特鲁伯 STIT片段的复杂性结果。 (英语) Zbl 1283.03036号 螺柱日志。 100,第5号,1001-1045(2012).MSC公司:03B42号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarzentruber},Stud.Log。100,第5号,1001--1045(2012;Zbl 1283.03036) 全文: 内政部
徐明 作为事件的操作。 (英语) Zbl 1272.03050号 J.菲洛斯。日志。 41,第4期,765-809(2012).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \发短信{M.Xu},J.Philos。日志。41,第4号,765--809(2012;Zbl 1272.03050) 全文: 内政部
罗伯托·齐尼;阿尔贝托·扎纳多 分支时间逻辑与可能选择的完整性。 (英语) Zbl 1216.03032号 螺柱日志。 96,第3号,393-420(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ciuni}和\textit{A.Zanardo},Stud.Log。96,第3号,393--420(2010;Zbl 1216.03032) 全文: 内政部
徐明 战略与行动的结合。 (英语) Zbl 1216.03039号 J.逻辑语言信息。 19,第4期,485-503(2010).MSC公司:03B45号 03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},J.Logic Lang.Inf.19,第4期,485--503(2010;Zbl 1216.03039) 全文: 内政部
菲利普·巴尔比亚尼;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 审议性STIT理论的替代公理和复杂性。 (英语) Zbl 1151.03008号 J.菲洛斯。日志。 37,第4期,387-406(2008). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,J.Philos。日志。37,第4号,387--406(2008;Zbl 1151.03008) 全文: 内政部 arXiv公司
斯特凡·沃尔夫 命题\(\text Q\)-逻辑。 (英语) 兹比尔1011.03010 J.菲洛斯。日志。 31,第5期,387-414(2002).MSC公司:03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wölfl},J.Philos。日志。31,第5号,387--414(2002;Zbl 1011.03010) 全文: 内政部
徐明 包含广义refref条件的stit逻辑的不紧凑性。 (英语) Zbl 0966.03021号 圣母院J.形式逻辑 39,第4期,485-506(1998年).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},圣母院J.形式逻辑39,No.4,485--506(1998;Zbl 0966.03021) 全文: 内政部