佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 用于证据推理的具有离散线性时间的命题概率逻辑。 (英语) Zbl 1269.03033号 安。数学。工件。智力。 65,编号2-3,217-243(2012). 审核人:Jürgen Landes(坎特伯雷) MSC公司:03B62号 03B44号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,Ann.数学。工件。智力。65,编号2-3217-243(2012年;兹bl 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 1241.03020号 J.塞姆。日志。 77,第1期,308-328(2012).MSC公司:03B45号 03B80号 第54页第35页 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) 全文: 内政部