佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇;道德，德拉甘;阿列克桑达尔·佩罗维奇 用于证据推理的具有离散线性时间的命题概率逻辑。 （英语） Zbl 1269.03033号 安。数学。Artif公司。智力。 65，编号2-3，217-243（2012）. 审核人：于尔根·兰德斯（坎特伯雷） MSC公司：03B62号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人，《数学年鉴》。Artif公司。智力。65，No.2--3，217--243（2012；Zbl 1269.03033） 全文： 内政部
大卫·费尔南德斯·杜克 动态拓扑逻辑的完善公理化。 （英语） Zbl 1256.03025号 J.塞姆。日志。 77，第3期，947-969（2012）. 审核人：古拉姆·贝扎尼什维利（拉斯克鲁斯） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}，J.Symb。日志。77，第3号，947--969（2012；Zbl 1256.03025） 全文： 内政部 arXiv公司 欧几里得
马库斯拿铁;马丁·兰格 分支时间？修剪时间！ （英语） Zbl 1358.68193号 Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学课堂讲稿7364。《人工智能课堂讲稿》，393-407（2012）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte}和\textit{M.Lange}，莱克特。注释计算。科学。7364、393--407（2012年；Zbl 1358.68193） 全文： 内政部 链接
大卫·费尔南德斯·杜克 度量空间的动态拓扑逻辑。 （英语） Zbl 1241.03020号 J.塞姆。日志。 77，第1期，308-328（2012）.MSC公司：03B45号 03B80号 54E35个 54E50型 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}，J.Symb。日志。77，第1号，308--328（2012；Zbl 1241.03020） 全文： 内政部 欧几里得 链接
大卫·费尔南德斯·杜克 拓扑动力学的缠结模态逻辑。 （英语） Zbl 1248.03033号 Ann.纯粹应用。逻辑 163，第4期，467-481（2012）.MSC公司：03B45号 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}，Ann.纯苹果。逻辑163，No.4，467--481（2012；Zbl 1248.03033） 全文： 内政部