迪米特·瓦卡雷洛夫 海伦娜·拉西奥瓦作品中的非经典否定及其对否定理论的影响。 (英语) Zbl 1114.03027号 螺柱日志。 84,第1期,105-127(2006).MSC公司:03B60号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},研究日志。84,第1号,第105-127条(2006年;Zbl 1114.03027) 全文: 内政部
罗伯特·戈德布拉特 数学模态逻辑:对其演变的看法。 (英语) Zbl 1041.03015号 J.应用。日志。 1,编号5-6,309-392(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 03-03 01A60型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},J.应用。日志。1、编号5--6309--392(2003;Zbl 1041.03015) 全文: 内政部
吉拉·谢尔 真相、谎言和塔斯基的语义。 (英语) Zbl 1069.03004号 Dale Jacquette(编辑),哲学逻辑的伴侣。马萨诸塞州马尔登:布莱克威尔出版社(ISBN 0-631-21671-5/hbk)。布莱克韦尔同伴菲洛斯(Blackwell Companions Philos)。22, 145-163 (2002). 审核人:Jan Waszkiewicz(弗罗茨瓦夫) MSC公司:03A05号 03C07号机组 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Sher},in:哲学逻辑的伴侣。马萨诸塞州马尔登:布莱克威尔出版社。145-163(2002年;兹bl 1069.03004)
迈克尔·拉特扬 序数分析领域。 (英语) Zbl 0946.03069号 Cooper,S.Barry(编辑)等人,集与证明。1997年7月6日至13日,英国利兹,符号逻辑协会欧洲会议,1997年逻辑学术讨论会邀请论文。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。258, 219-279 (1999). 审核人:M.Yasuhara(普林斯顿) MSC公司:2015年1月3日 35楼03号 03财年03 03-03 03-02 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen},伦敦。数学。Soc.Lect(社会学)。注释序列号。258219-279(1999年;Zbl 0946.03069)
沃伦斯基,J。 道义逻辑和可能世界语义学:历史素描。 (英语) Zbl 0719.03011号 螺柱日志。 49,No.2,273-282(1990). 审核人:L.F.Goble(塞勒姆) MSC公司:03B60号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.沃伦斯基},Stud.Log。49,No.2,273--282(1990;Zbl 0719.03011) 全文: 内政部