马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;法布里西奥·里古齐;佐藤，肯;里卡多·泽斯 CIFF框架中的可免除债务。 （英语） Zbl 1497.68456号 芬丹。通知。 176，编号3-4，321-348（2020）.MSC公司：68T27型 68N17号 68立方英尺 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人，Fundam。通知。176，编号3--4，321--348（2020；Zbl 1497.68456） 全文： 内政部
兰贝·罗亚克;杰西·休斯 怪我吧。 （英语） Zbl 1484.03029号 J.菲洛斯。日志。 49，第2期，315-349（2020）.MSC公司：03B42号 03年05月 PDF格式BibTeX公司 XML格式引用 \textit{L.Royakkers}和textit{J.Hughes}，J.Philos。日志。49，第2号，315--349（2020；Zbl 1484.03029） 全文： 内政部
圭多州长 模态规则：使用模态运算符扩展可终止逻辑。 （英语） Zbl 1518.68361号 Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 9-30 (2018).MSC公司：68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}，莱克特。注释计算。科学。11092，9--30（2018；Zbl 1518.68361） 全文： 内政部
弗拉迪米尔·斯沃博达 道义逻辑的路易斯分类法。 （英语） Zbl 1398.03041号 合成 195，第7号，3241-3266（2018）.MSC公司：03年05月 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.Svoboda}，综合195，第7期，3241-3266（2018；Zbl 1398.03041） 全文： 内政部
牛，尼尔斯;迈赫迪·达斯塔尼 基于规范的机制设计。 （英语） Zbl 1386.68178号 Artif公司。智力。 239, 97-142 (2016).MSC公司：68T42型 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{M.Dastani}，Artif。智力。23997--142（2016年；Zbl 1386.68178） 全文： 内政部 链接
亨利·普拉肯;乔瓦尼·萨托 法律与逻辑：从论证的角度进行回顾。 （英语） Zbl 1346.68187号 Artif公司。智力。 227, 214-245 (2015).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Prakken}和\textit{G.Sartor}，Artif。智力。227214-245（2015；Zbl 1346.68187） 全文： 内政部
家长，Xavier Au qvist系统\（\mathbf E\）和\（\mathbf F\）的完整性。 （英语） Zbl 1371.03027号 版本符号。日志。 8，第1期，164-177（2015）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Parent}，版本符号。日志。8，第1号，164--177（2015；Zbl 1371.03027） 全文： 内政部
Peterson，克莱顿 范畴命令：作为道义逻辑基础的范畴理论。 （英语） Zbl 1395.03010号 J.应用。日志。 12，第4期，417-461（2014）.MSC公司：03B45号 18B99型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson}，J.应用。日志。12，第4号，417--461（2014；Zbl 1395.03010） 全文： 内政部
巴勃罗·诺列加;阿米特·乔普拉。;尼科莱塔·福娜拉;卡多索·恩里克·洛佩斯;穆林达尔·辛格。 受监管的MAS：社会视角。 （英语） Zbl 1482.68239号 Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl随访4，93-133（2013）。MSC公司：68T42型 68T27型 91D99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Noriega}等人，Dagstuhl Follow-Ups 4，93--133（2013；Zbl 1482.68239） 全文： 内政部
蒂娜·巴尔克;佩雷拉·塞利亚·达科斯塔;弗兰克·迪格纳姆;埃米利亚诺·洛里尼;安东尼诺·罗托洛;Wamberto的Vasconcelos;塞雷娜·维拉塔 MAS规范：定义和相关概念。 （英语） Zbl 1482.68237号 Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4，1-31（2013）。MSC公司：68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Balke}等人，Dagstuhl Follow-Ups 4，1--31（2013；Zbl 1482.68237） 全文： 内政部
何塞·朱利奥·阿尔弗雷斯;里卡多·贡萨阿尔维斯;若昂·雷特 失效规范体系的等效性。 （英语） Zbl 1400.68200号 J.应用。非类别。日志。 23，编号1-2，25-48（2013）.MSC公司：68T27型 03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人，J.Appl。非类别。日志。23、编号1--2、25-48（2013；Zbl 1400.68200） 全文： 内政部
范德托雷、伦德特 违规游戏：道义逻辑的新基础。 （英语） Zbl 1242.03052号 J.应用。非类别。日志。 20，第4期，457-477（2010）.MSC公司：03B45号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{L.van der Torre}，J.Appl（J.应用）。非类别。日志。20，第4号，457--477（2010；Zbl 1242.03052） 全文： 内政部
Ågotnes，托马斯;范德霍克，威比;Rodríguez-Aguilar，Juan A。;卡莱斯·塞拉;迈克尔·伍尔德里奇 多模式CTL：完整性、复杂性和应用程序。 （英语） Zbl 1185.03023号 螺柱日志。 92，第1期，1-26页（2009年）. 审核人：埃里克·马丁（悉尼） MSC公司：03B45号 03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人，研究日志。92，第1号，1-26（2009；Zbl 1185.03023） 全文： 内政部
西蒙·克莱默 加密协议逻辑：满足（定时）Dolev-Yao加密。 （英语） Zbl 1151.94012号 J.日志。阿尔盖布。程序。 77，编号1-2，60-91（2008）.MSC公司：94A60型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer}，J.Log。阿尔盖布。程序。77，编号1--2，60-91（2008；Zbl 1151.94012） 全文： 内政部
亚历山大·阿提基斯;马雷克·塞尔戈特;杰瑞米·皮特 正式论证协议的可执行规范。 （英语） Zbl 1168.68557号 Artif公司。智力。 171，编号10-15，776-804（2007）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人，Artif。智力。171，编号10--15，776--804（2007；Zbl 1168.68557） 全文： 内政部
迈克尔·伍尔德里奇;范德霍克，威比 关于义务和规范能力：走向对社会契约的逻辑分析。 （英语） Zbl 1081.03021号 J.应用。日志。 3，编号3-4，396-420（2005）. 审核人：路易斯·高布尔（塞勒姆） MSC公司：03B60号 03B45号 68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{W.van der Hoek}，J.Appl。日志。3、编号3--4、396--420（2005；Zbl 1081.03021） 全文： 内政部
简·布罗森 动态道义逻辑的行动否定和替代约简。 （英语） Zbl 1060.03045号 J.应用。日志。 2，第1期，153-168（2004）. 审核人：David Makinson（伦敦） MSC公司：03B60号 03B45号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Broersen}，J.应用。日志。2，第1号，153--168（2004；Zbl 1060.03045） 全文： 内政部 链接
阿莱西奥·洛穆西奥;马雷克·塞尔戈特 比特传输问题中违规、错误恢复和执行的形式化。 （英语） Zbl 1076.68074号 J.应用。日志。 2，第1期，93-116（2004）.MSC公司：68T27型 68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{M.Sergot}，J.Appl。日志。2，编号1，93--116（2004；Zbl 1076.68074） 全文： 内政部
拉尔斯·林达尔;简·奥德尔斯塔德 规范体系的代数方法中的规范位置。 （英语） 兹比尔1052.03011 J.应用。日志。 2，第1期，63-91（2004）.MSC公司：03B60号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindahl}和textit{J.Odelstad}，J.Appl。日志。2，编号1，63--91（2004；Zbl 1052.03011） 全文： 内政部
J.迪克斯。;克劳斯，S。;苏布拉曼尼亚，V.S。 临时代理程序。 （英语） Zbl 0976.68121号 Artif公司。智力。 127，第1期，第87-135页（2001年）.MSC公司：68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}等人，Artif。智力。127，第1号，87--135（2001；Zbl 0976.68121） 全文： 内政部
Gert-Jan C.Lokhorst。 恩斯特·马利的《Deontik》（1926）。 （英语） Zbl 0968.03024号 圣母院J.形式逻辑 40，第2期，273-282（1999）.MSC公司：03B45号 03B47号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit｛G.-J.C.Lokhorst｝，圣母院J.形式逻辑40，第2期，第273-282页（1999年；Zbl 0968.03024） 全文： 内政部