伊利亚·沙皮罗夫斯基 Kripke帧和的保真运算。 （英语） Zbl 1418.03101号 Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。541-558 (2018).MSC公司：03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{I.Shapirovsky}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。541--558（2018；Zbl 1418.03101）
菲利普·巴尔比亚尼;大卫·费尔南德斯·杜克 用线性时态逻辑公理化模态逻辑的词典产品。 （英语） Zbl 1400.03056号 Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。78-96 (2016).MSC公司：03B62号 03B45号 03B44号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{D.Fernández-Duque}，in：模态逻辑进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。78-96（2016年；兹比尔1400.03056）
菲利普·巴尔比亚尼 模态逻辑词汇产品的公理化和完备性。 （英语） Zbl 1193.03035号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，165-180（2009）。MSC公司：03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}，莱克特。注释计算。科学。5749、165--180（2009年；Zbl 1193.03035） 全文： 内政部