亚历山大·巴尔塔格;拉德·索鲁斯·拉菲;斯梅茨，索尼娅 跟踪概率真理：统计学习的逻辑。 （英语） Zbl 1529.03167号 合成 199，编号3-4，9041-9087（2021）.MSC公司：03B48号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人，Synthese 199，No.3--4，9041-9087（2021；Zbl 1529.03167） 全文： DOI程序 OA许可证
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;斯梅茨，索尼娅 通过信念修正追踪真相。 （英语） Zbl 1439.03039号 双头螺栓日志。 107，第5期，917-947（2019）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人，研究日志。107，第5号，917--947（2019；Zbl 1439.03039） 全文： DOI程序 OA许可证
玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂;文森特·里希 条件信念：从邻域语义到序列演算。 （英语） Zbl 1445.03015号 版本符号。日志。 11，第4期，736-779（2018）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}等人，Rev.Symb。日志。11，编号4，736-779（2018；兹bl 1445.03015） 全文： DOI程序
安徒生，米克尔·比尔克加德;托马斯·博兰德;汉斯·范·迪特马什;马丁·霍尔姆·延森 条件信念、信念程度和安全信念的相互模拟和表达。 （英语） Zbl 1431.03028号 合成 194，第7期，2447-2487（2017）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Andersen}等人，Synthese 194，No.7，2447--2487（2017；Zbl 1431.03028） 全文： DOI程序 arXiv公司
玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 刘易斯反事实逻辑的标准顺序计算。 （英语） Zbl 1485.03036号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 272-287 (2016).MSC公司：03B42号 03B45号 05年3月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}等人，Lect。注释计算。科学。10021、272--287（2016；Zbl 1485.03036） 全文： DOI程序 链接
尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 刘易斯反事实逻辑的标准内部演算。 （英语） Zbl 1471.03060号 De Nivelle，Hans（编辑），分析表的自动推理和相关方法。第24届国际会议，TABLEUX 2015，波兰弗罗茨瓦夫，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 270-286 (2015).MSC公司：03B60号 03A05号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit｛N.Olivetti｝和\textit｛G.L.Pozzato｝，Lect。注释计算。科学。9323270--286（2015；Zbl 1471.03060） 全文： DOI程序 链接
纪尧姆拍卖行 复杂公理作为交互公理。 （英语） 兹比尔1368.03022 双头螺栓日志。 103，第5期，1035-1062（2015）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher}，螺柱日志。103、5号、1035--1062（2015；Zbl 1368.03022） 全文： DOI程序 哈尔
纪尧姆拍卖行 作为子结构逻辑的动态认知逻辑。 （英语） Zbl 1354.03011号 Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑杰出贡献》5855-880（2014）。MSC公司：03B42号 03B47号 PDF格式BibTeX公司 XML格式引用 \发短信｛G.Aucher｝，Outst。控制日志。5855-880（2014；Zbl 1354.03011） 全文： DOI程序 哈尔
范·艾伊克（Jan van Eijck） 动态认知逻辑。 （英语） Zbl 1431.03031号 Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：斯普林格。Outst公司。控制日志。5, 175-202 (2014).MSC公司：03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}，奥斯特。控制日志。5、175--202（2014；Zbl 1431.03031） 全文： DOI程序
汉斯·范·迪特马什 关于可撤销和不可撤销的信念修正。 （英语） Zbl 1347.03027号 Trypuz，Robert（编辑），Krister Segerberg关于行动逻辑。多德雷赫特：施普林格（ISBN 978-94-007-7045-4/pbk；978-94-07-7046-1/电子书）。《逻辑1的杰出贡献》，209-228（2014）。MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}，奥斯特。控制日志。1209--228（2014；Zbl 1347.03027） 全文： DOI程序
汉斯·范·迪特马什 说谎的动力。 （英语） Zbl 1310.03031号 合成 191，第5号，745-777（2014）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}，Synthese 191，No.5，745--777（2014；Zbl 1310.03031） 全文： DOI程序
雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 条件逻辑的嵌套序列计算。 （英语） Zbl 1361.68213号 Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，14-27（2012）。MSC公司：68T27型 03B45号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alenda｝等人，Lect。注释计算。科学。7519、14-27（2012年；Zbl 1361.68213） 全文： DOI程序
亚历山大·巴尔塔格;斯梅茨，索尼娅 不断改变你的信念，瞄准真理。 （英语） Zbl 1251.03012号 埃尔肯特尼斯 75，第2期，255-270（2011）.MSC公司：03A10号 03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets}，Erkentnis 75，No.2，255--270（2011；Zbl 1251.03012） 全文： DOI程序 OA许可证
亚历山大·巴尔塔格;斯梅茨，索尼娅;乔纳森·亚历山大·兹维斯珀 保持对理性的“希望”：一种解决后向归纳悖论的方法。 （英语） Zbl 1183.03011号 合成 169，第2期，301-333（2009）.MSC公司：03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人，Synthese 169，No.2，301-333（2009；Zbl 1183.03011） 全文： DOI程序 OA许可证
亚历山大·巴尔塔格;斯梅茨，索尼娅 通过问答进行学习：从信念-再认识循环到多角形不动点。 （英语） Zbl 1246.03035号 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，124-139（2009）。MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets}，Lect。注释计算。科学。5514124-139（2009年；兹bl 1246.03035） 全文： DOI程序