安德烈·彼得鲁兹扎克（Andrzej Pietruszczak） 模态逻辑K45、KB4和KD45的简化Kripke风格语义。 （英语） Zbl 1286.03069号 牛市。第节。日志。，大学后勤部。 38，编号3-4，163-171（2009）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pietruszczak}，公牛。第节。日志。，大学后勤部。38，编号3--4，163-171（2009；Zbl 1286.03069） 全文： 链接
J.M.达沃伦。 直觉模态逻辑和时态逻辑及其经典伴随逻辑：拓扑语义和互模拟。 （英语） 兹伯利1221.03019 Ann.纯粹应用。逻辑 161，第3期，349-367（2009）.MSC公司：03B45号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Davoren}，Ann.《纯粹的应用》。逻辑161，No.3，349--367（2009；Zbl 1221.03019） 全文： 内政部
Dov M.加巴伊。;塞尔吉奥·马塞利诺 反应框架的模态逻辑。 （英语） Zbl 1193.03036号 螺柱日志。 93，编号2-3，405-446（2009）.MSC公司：03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{S.Marcelino}，Stud.Log。93，编号2--3405--446（2009；Zbl 1193.03036） 全文： 内政部 链接
杨恩斯克 E、R、T的一些邻居的（基于星的）四值Kripke式语义。 （英语） Zbl 1191.03016号 日志。分析。，努夫。Sér。 52，编号207，255-280（2009）. 审核人：马丁·邦德（伍伦贡） MSC公司：03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang}，日志。分析。，努夫。Sér。52、编号207、255--280（2009；Zbl 1191.03016）
朱莉安娜·布埃诺·索勒 阳极模态逻辑的完整性和不完整性。 （英语） Zbl 1195.03024号 J.应用。非类别。日志。 19，第3期，291-310（2009）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.布埃诺·索勒}，J.应用。非类别。日志。19，第3号，291--310（2009；Zbl 1195.03024） 全文： 内政部
丹尼斯·邦尼;保罗·埃格里 通过反省获得不精确的知识。 （英语） Zbl 1175.03002号 J.菲洛斯。日志。 38，第2期，179-227（2009）.MSC公司：03A05号 03B42号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bonnay}和\textit{P.Egré}，J.Philos。日志。38，第2号，179--227（2009；Zbl 1175.03002） 全文： 内政部 链接
雨果·赫贝林;Lee，Gyesik先生 Gentzen型直觉序列演算的基于强制的删减。 （英语） Zbl 1246.03072号 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。《人工智能讲义》，209-217（2009）。MSC公司：05年3月 03B47号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Herbelin}和\textit{G.Lee}，莱克特。注释计算。科学。5514、209--217（2009；Zbl 1246.03072） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系：意外的嵌入。 （英语） Zbl 1169.03024号 数学。结构。计算。科学。 19，第3期，435-500（2009年）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche}，数学。结构。计算。科学。19，第3号，435--500（2009；Zbl 1169.03024） 全文： 内政部
格雷西拉·多梅内克;赫克托·弗雷特斯;克里斯蒂安·德·隆德 模态型正交模逻辑。 （英语） Zbl 1172.03033号 数学。日志。问：。 55，第3号，307-319（2009）. 审核人：米尔科·纳瓦拉（普拉哈） MSC公司：03G12号机组 03B45号 06第15页 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Domenech}等人，《数学》。日志。企55、3号、307--319（2009；Zbl 1172.03033） 全文： 内政部 arXiv公司 链接
安永Zimmermann 一些亚直觉逻辑的谓词逻辑扩展。 （英语） 兹比尔1163.03011 螺柱日志。 91，第1期，131-138（2009）.MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Zimmermann}，研究日志。91，第1号，131--138（2009；Zbl 1163.03011） 全文： 内政部
罗伯特·戈德布拉特;伊恩·霍德金森 不同域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会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。2009年9月30日；兹bl 1167.03016） 全文： 内政部