彼得·乌科斯基 海廷·布鲁沃逻辑的模态解释。 （英语） 兹比尔0861.03010 牛市。第节。日志。，大学后勤部。 25，第2期，80-83（1996）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{P.Łukowski}，公牛。第节。日志。，大学后勤部。25，第2号，80--83（1996；Zbl 0861.03010）
圭多·贝尔托洛蒂；皮耶朗基罗·米利奥利；丹妮拉·西尔维斯特里尼 具有析取性质的极大中间命题逻辑的广泛族。 （英语） 兹伯利0871.03017 数学。日志。问：。 42，第4期，501-536（1996）. 审核人：L.A.Chagrova（特维尔） MSC公司：03B55号 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bertolotti}等人，《数学》。日志。企42，第4号，501--536（1996；Zbl 0871.03017） 全文： 内政部
迪米特里·斯科沃尔佐夫 关于中间谓词逻辑的有限交集。 （英语） Zbl 0882.03022号 Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 667-688 (1996). 审核人：V.谢赫特曼（莫斯科） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，莱克特。Notes纯应用。数学。180、667--688（1996年；Zbl 0882.03022）
马尔滕·马克思 模态逻辑的多维语义。 （英语） Zbl 0864.03013号 圣母院J.形式逻辑 37，第1期，25-34（1996）. 审核人：D.斯科沃尔佐夫（莫斯科） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.马克思}，圣母院J.形式逻辑37，第1期，25-34（1996；Zbl 0864.03013） 全文： 内政部
詹姆斯·利普顿；迈克尔·奥唐纳。 构造逻辑的可实现性语义背后的一些直觉：Tableaux和Läuchli反模型。 （英语） Zbl 0882.03056号 Ann.纯粹应用。逻辑 81，编号1-3，187-239（1996）. 审核人：W.Veldman（奈梅亨） MSC公司：03楼50 PDF格式BibTeX公司 XML格式引用 \textit｛J.Lipton｝和\textit｛M.J.O'Donnell｝，Ann.纯应用。逻辑81，No.1--3，187--239（1996；Zbl 0882.03056） 全文： 内政部
温迪·麦考尔 BCK蕴涵逻辑的克里普克语义。 （英语） Zbl 0854.03058号 牛市。第节。日志。，大学后勤部。 25，第1期，41-51（1996）.MSC公司：03G25号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.MacCaull}，公牛。第节。日志。，大学后勤部。25，第1号，41--51（1996；Zbl 0854.03058）
铃木，Nobu-Yuki 关于超直觉谓词逻辑中的delta运算和Kripke层语义的一点注记。 （英语） 兹比尔0857.03013 牛市。第节。日志。，大学后勤部。 25，第1期，21-28（1996）. 审核人：D.斯科沃尔佐夫（莫斯科） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木}，公牛。第节。日志。，大学后勤部。25，编号1，21--28（1996；Zbl 0857.03013）
G.E.休斯。；克雷斯韦尔，M.J。 模态逻辑的新介绍。 （英语） 兹比尔0855.03002 伦敦：劳特利奇。x、 421页13.99英镑/pbk，40.00英镑/hbk（1996年）。 审核人：M.Zakharyaschev（柏林） MSC公司：03-01 03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Hughes}和\textit{M.J.Cresswell}，模态逻辑的新介绍。伦敦：Routledge（1996；Zbl 0855.0302）
斯特福·韦伯 关于未知的语义。 （英语） 兹伯利1419.68049 Gabbay，Dov M.（编辑）等人，《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1085, 622-636 (1996).MSC公司：第68页，共15页 03B45 03B60号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Weber}，莱克特。票据计算。科学。1085、622--636（1996年；Zbl 1419.68049） 全文： 内政部
劳埃德·亨伯斯通 同音、效度、情态。 （英语） Zbl 0920.03007号 Copeland，B.J.（编辑），《逻辑与现实：关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。215-236 (1996). 审核人：P.马特拉纳（普拉哈） MSC公司：03A05号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone}，摘自：《逻辑与现实：关于亚瑟·普赖尔遗产的论文》。包括1989年新西兰基督城坎特伯雷大学亚瑟·普里尔纪念大会的论文。牛津：克拉伦登出版社。215--236（1996；Zbl 0920.03007）
温迪·麦考尔 关于剩余逻辑的克里普克语义的注记。 （英语） Zbl 0868.03004号 模糊集系统。 77，第2期，229-234（1996）.MSC公司：03B20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.MacCaull}，模糊集系统。77，第2号，229--234（1996；Zbl 0868.03004） 全文： 内政部