路易斯·平托;罗伊·戴克霍夫 直觉命题逻辑反模型的无环构造。 （英语） Zbl 0848.0302号 Behara，Minaketan（编辑）等人，第二届高斯研讨会论文集。会议A：数学和理论物理，德国慕尼黑，1993年8月2日至7日。柏林：Walter de Gruyter。Gaussiana研讨会。225-232 (1995).MSC公司：03B20型 03财年03 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{L.Pinto}和\textit{R.Dyckhoff}，摘自：第二届高斯研讨会论文集。会议A：数学和理论物理，德国慕尼黑，1993年8月2日至7日。柏林：Walter de Gruyter。225-232（1995；Zbl 0848.0302）
史蒂文·维克斯 本地化并非毫无意义。 （英语） 兹比尔0846.18003 Hankin，C.（编辑）等人，《计算的理论和形式方法》94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡：帝国理工学院出版社（世界科学出版社发行）。199-216 (1995). 审核人：M.Bunge（热那亚） MSC公司：18对25 03G30型 18立方厘米 68问题55 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{S.Vickers}，in：计算理论和形式方法94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡：帝国理工学院出版社（世界科学出版社发行）。199-216（1995；Zbl 0846.18003）
布拉尼斯拉夫·博里奇奇 逻辑和证明。理论-练习。 （希腊语。英文摘要） Zbl 0838.03001号 塞萨洛尼基：齐蒂版。viii，172页（1995年）。MSC公司：03-01 03B05号 03B10号机组 03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Borić}，《逻辑与证明》。理论练习（希腊语）。塞萨洛尼基：Ziti版（1995；Zbl 0838.03001）
乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托，Policriti 多模态逻辑的集合理论翻译方法。 （英语） Zbl 0840.03015号 J.汽车。推理 第317-337号第15页（1995年）. 审核人：M.Zakharyaschev（柏林） MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}等人，J.Autom。推理15，No.3，317--337（1995；Zbl 0840.03015） 全文： 内政部
彼得·阿波斯托利;布赖森·布朗 弱聚合模态逻辑完备性问题的一种解法。 （英语） Zbl 0837.03016号 J.塞姆。日志。 60，第3期，第832-842页（1995年）. 审核人：A.V.查格罗夫（Tver'） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Apostoli}和\textit{B.Brown}，J.Symb。日志。60，编号3832--842（1995；Zbl 0837.03016） 全文： 内政部
John-Jules Ch.梅耶。;范德霍克，威比 人工智能和计算机科学的认识逻辑。 （英语） Zbl 0868.03001号 剑桥理论计算机科学丛书. 41. 剑桥：剑桥大学出版社。xiii，第354页（1995年）。 审核人：Ch.Posthoff（圣奥古斯丁） MSC公司：03-01 68T27型 03B60号 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Ch.Meyer}和\textit{W.van der Hoek}，人工智能和计算机科学的认识逻辑。剑桥：剑桥大学出版社（1995；Zbl 0868.03001）
丹尼尔·齐兹戈夫斯基 直觉逻辑克里普克模型中的常数。 （英语） Zbl 0837.03005号 数学。日志。问：。 41，第4期，431-441（1995）.MSC公司：03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{D.Dzierzgowski}，数学。日志。问41，第4号，431--441（1995；Zbl 0837.03005） 全文： 内政部
J.Michael Dunn 正模态逻辑。 （英语） Zbl 0831.03007号 螺柱日志。 55，No.2，301-317（1995）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dunn}，Stud.Log（研究日志）。55，第2号，301--317（1995；Zbl 0831.03007） 全文： 内政部
高恒山 量化模态逻辑的代数语义。III： 没有Barcan公式的正态模态系统的情况。 （中文。英文摘要） Zbl 0829.03009 数学学报。罪。 38，第4期，529-542（1995）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}，《数学学报》。罪。38，第4号，529--542（1995；Zbl 0829.03009）
奥利维尔·盖斯克特 一种新的不完全性导致了Kripke语义。 （英语） Zbl 0831.68059号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 24，第4期，407-415（1995）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Gasquet}，安.社会数学。政策。，序列号。四、 芬丹。Inf.24，No.4，407--415（1995；Zbl 0831.68059）
O'Hearn，Peter W。;乔恩·里克（Jon G.Riecke）。 克里普克逻辑关系和PCF。 （英语） Zbl 0912.03008号 Inf.计算。 120，第1期，第107-116页（1995年）.MSC公司：03B40型 68问题55 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{J.G.Riecke}，Inf.Compute。120，第1号，107--116（1995；Zbl 0912.03008） 全文： 内政部 链接
配件，梅尔文 多值模态逻辑的Tableaus。 （英语） Zbl 0837.03017号 螺柱日志。 55，第1期，63-87（1995）.MSC公司：03B45号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting}，螺柱日志。55，编号1，63--87（1995；Zbl 0837.03017） 全文： 内政部
萨沙·布瓦奇;瓦尼亚，布瓦奇;伊恩·梅森。 语境的元数学。 （英语） 兹伯利0844.03014 安.社会.数学。政策。，序列号。四、 芬丹。信息。 23，编号2-4，263-301（1995）. 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Buvač}等人，《社会数学年鉴》。政策。，序列号。四、 芬丹。Inf.23，No.2--4，263--301（1995；Zbl 0844.03014）
下村达也 关于中间谓词逻辑相对于Kripke语义的完备性。 （英语） Zbl 0817.03010号 牛市。第节。日志。，大学，Dep Log。 24，第1期，第41-45页（1995年）.MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura}，公牛。第节。日志。，大学后勤部。24，编号1，41-45（1995；Zbl 0817.03010）
库尔特·恩格塞 拓扑逻辑和模态逻辑之间的一些联系。 （英语） Zbl 0827.03007号 数学。日志。问：。 41，第1号，49-64（1995）. 审核人：O.Sonobe（福洛妮卡） MSC公司：03B45号 03C80号 03立方30 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{K.Engesser}，数学。日志。问41，第1号，49--64（1995；Zbl 0827.03007） 全文： 内政部
牛顿·C·A·达·科斯塔。;Doria，Francisco A。 论贾希科夫斯基的讨论逻辑。 （英语） Zbl 0818.03012号 螺柱日志。 54，第1号，33-60（1995）. 审核人：R.华莱士花园（泰晤士河） MSC公司：03B53号 03B45号 03B80号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{F.A.Doria}，Stud.Log。54，编号1，33--60（1995；Zbl 0818.03012） 全文： 内政部
彼得·哈耶克;达格马尔·哈曼科娃;韦布鲁克（Rineke Verbrugge） 定性模糊可能性逻辑。 （英语） Zbl 0819.03017号 国际J近似推理 12，第1期，1-19页（1995年）. 审核人：S.Gottwald（莱比锡） MSC公司：03B52号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Hájek}et al.，Int.J.近似推理12，No.1，1-19（1995；Zbl 0819.03017） 全文： 内政部
铃木，Nobu-Yuki（编辑） 关于非经典逻辑及其克里普克语义的问题。1995年7月18日至20日，在日本京都京都大学数学科学研究所举行的研讨会论文集。 （英语、日语） Zbl 0894.03003号 RIMS Kokyuroku公司927，vi，208页（1995年）。 MSC公司：03-06 00B25型 PDF格式BibTeX公司 XML格式
安德鲁·米罗诺夫。 具有模糊形式的逻辑。 （英语） Zbl 0896.03018号 德库曼，格特（编辑）等，可能性理论的基础和应用。1995年12月13日至15日，比利时根特FAPT’95第一届国际会议记录。新加坡：世界科学。高级模糊系统。，申请。理论。8165-182页（1995年）。MSC公司：03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.米罗诺夫}，《可能性理论的基础和应用》。第一届国际会议记录，1995年12月13日至15日，比利时根特，FAPT’95。新加坡：世界科学。165-182（1995；Zbl 0896.03018）