路易斯·索雷斯·巴博萨（编辑）;亚历山大·巴尔塔格（编辑） 动态逻辑。新趋势和应用。2019年10月7日至11日，第二届国际研讨会，DALI 2019，葡萄牙波尔图。诉讼程序。 （英语） Zbl 1430.03006号 计算机科学课堂讲稿12005.查姆：施普林格（ISBN 978-3-030-38807-2/pbk；978-3-0.30-38808-9/电子书）。x、 227页。(2020).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Soares Barbosa}（编辑）和\textit{A.Baltag}（主编），《动态逻辑》。新趋势和应用。2019年10月7日至11日，第二届国际研讨会，DALI 2019，葡萄牙波尔图。诉讼程序。查姆：施普林格（2020；Zbl 1430.03006） 全文： 内政部
亚历山大·巴尔塔格（编辑）;杰里米·塞利格曼（编辑）;山田，Tomoyuki（编辑） 逻辑、理性和互动。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。 （英语） Zbl 1369.68010号 计算机科学课堂讲稿10455.柏林：施普林格出版社（ISBN 978-3-662-55664-1/pbk；978-3-662-55665-8/电子书）。xii，694页。(2017).MSC公司：68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}（编辑）等人，《逻辑、理性和互动》。2017年9月11-14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：施普林格出版社（2017；Zbl 1369.68010） 全文： 内政部