罗伯特·戈德布拉特 限定及物框架周长的模态逻辑。 (英语) Zbl 07442315号 Madarász,Judit(编辑)等人,Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆:斯普林格。Outst公司。控制日志。19, 233-265 (2021).MSC公司:03月XX日 2008年X月 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},奥斯特。控制日志。19、233--265(2021;Zbl 07442315) 全文: 内政部 arXiv公司
拉里萨·马克西莫娃 正规模态逻辑中的合并和插值。 (英语) Zbl 0754.03013号 螺柱日志。 50,编号3-4,457-471(1991). 审核人:S.Miura(冈崎/爱知) MSC公司:03B45号 03G25号 08B99年 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova},研究日志。50,编号3--4,457--471(1991;Zbl 0754.03013) 全文: 内政部
罗伯特·戈德布拉特 复代数的种类。 (英语) Zbl 0722.08005号 Ann.纯粹应用。逻辑 44,第3期,173-242(1989). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:08B99年 03C05号机组 03C40号 03C60型 08A02号 03G15年 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},Ann.《纯粹的应用》。逻辑44,No.3,173--242(1989;Zbl 0722.08005) 全文: 内政部