加伯里亚,D。;A.库鲁茨。;F.沃尔特。;Zakharyaschev,M。 具有扩张域的模态逻辑乘积的非有限递归可判定性。 (英语) 兹比尔1099.02008 Ann.纯粹应用。逻辑 142,编号1-3,245-268(2006).MSC公司:03B25号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人,Ann.Pure Appl。逻辑142,No.1--3,245--268(2006;Zbl 1099.03008) 全文: 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 公理化一阶时序逻辑的一元片段。 (英语) Zbl 1031.03023号 Ann.纯粹应用。逻辑 118,编号1-2,133-145(2002). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B44号 03B25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},Ann.Pure Appl。逻辑118,No.1--2,133--145(2002;Zbl 1031.03023) 全文: 内政部
伊恩·霍德金森;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 一阶时序逻辑的可判定片段。 (英语) 兹比尔0999.03015 Ann.纯粹应用。逻辑 106,编号1-3,85-134(2000). 审核人:马丁·霍夫曼(慕尼黑) MSC公司:03B44号 03B25号 第68页,共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人,Ann.Pure Appl。逻辑106,编号1--3,85-134(2000;Zbl 0999.03015) 全文: 内政部