罗伯特·戈德布拉特 一些遗传不可解空间的模态逻辑。 (英语) Zbl 07469214号 Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:斯普林格。Outst公司。控制日志。22, 303-322 (2022).MSC公司:03B45号 54层99 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},Outst。控制日志。22303--322(2022;Zbl 07469214) 全文: 内政部 arXiv公司
罗伯特·戈德布拉特 经典双线性逻辑的Grishin代数和覆盖系统。 (英语) Zbl 1258.03092号 螺柱日志。 99,编号1-3,203-227(2011). 审核人:米洛斯·阿瓦·科·奥斯卡·加维耶诺维奇(波兹南) MSC公司:03G25号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},研究日志。99,编号1--3,203-227(2011;Zbl 1258.03092) 全文: 内政部
罗伯特·戈德布拉特;伊恩·霍德金森 不同域Kripke模型中量词的交换性。 (英语) Zbl 1167.03016号 戴维·梅金森(编辑)等人,《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:施普林格出版社(ISBN 978-1-4020-9083-7/hbk;978-1-4020-9084-4/电子书)。《逻辑趋势》——Studia Logica Library 28,9-30(2009)。 审核人:Max A.Freund(圣何塞) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}和\textit{I.Hodkinson},在《走向数学哲学》中。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林:斯普林格。9-30(2009年;Zbl 1167.03016) 全文: 内政部
罗伯特·戈德布拉特 量子数中非交换逻辑的Kripke-Joyal语义。 (英语) Zbl 1144.03039号 Governatori,Guido(编辑)等人,《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)的论文选集。伦敦:学院出版物(ISBN 1-904987-20-6/pbk)。209-225 (2006).MSC公司:03G25号 03B47号 07年6月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},in:模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)的论文选集。伦敦:学院出版物。209-225(2006年;Zbl 1144.03039)
罗伯特·戈德布拉特 数学模态逻辑:对其演变的看法。 (英语) 兹比尔1041.03015 J.应用。日志。 1,编号5-6,309-392(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 03-03 01A60型 03-02 PDF格式BibTeX公司 XML格式引用 \文本{R.Goldblatt},J.Appl。日志。1、编号5--6309--392(2003;Zbl 1041.03015) 全文: 内政部
罗伯特·戈德布拉特 代数多模逻辑:综述。 (英语) Zbl 1012.03060号 日志。J.IGPL公司 8,第4号,393-450(2000).MSC公司:05年3月 03B45号 06E25年 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},日志。J.IGPL 8,编号493-450(2000年;兹bl 1012.03060) 全文: 内政部 链接
罗伯特·戈德布拉特。 Grothendieck拓扑作为几何形态。 (英语) Zbl 0474.03018号 Z.数学。Logik Grundlagen数学。 27, 495-529 (1981).MSC公司:03C99号 03B45号 10层18号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Goldblatt},Z.数学。Logik Grundlagen数学。27495--529(1981年;Zbl 0474.03018) 全文: 内政部