施莱纳，P.A。；新墨西哥州希洛夫。；S.O.格雷贝内娃。 SAT与SMV用于超学费逻辑的表格属性的自动验证。 （英语） 兹比尔1249.03005 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 24105-117（2006年）.MSC公司：03B35型 03B55号 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Schreiner}等人，Jt。牛市。NCC IIS，序列号。计算。科学。24、105-117（2006；Zbl 1249.03005）
利奥·伊萨基亚 模态化海廷演算：直觉逻辑的保守模态扩展。 （英语） Zbl 1186.03043号 J.应用。非类别。日志。 16，No.3-4，349-366（2006）.MSC公司：03B45号 03层45 06D20日 PDF格式BibTeX公司 XML格式引用 \文本{L.Esakia}，J.Appl。非类别。日志。16，编号3--4，349--366（2006；Zbl 1186.03043） 全文： 内政部
埃里克·马丁 对名称和形式进行量化。 （英语） Zbl 1148.03020号 Governatori，Guido（编辑）等人，《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物（ISBN 1-904987-20-6/pbk）。353-372 (2006).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Martin}，in：模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物。353--372（2006；Zbl 1148.03020）
罗伯特·戈德布拉特 量子数中非交换逻辑的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）
路易斯·伊图里奥斯；或者鄂尔多斯卡 基于Łukasiewicz代数的逻辑的Kripke风格和关系语义。 （英语） Zbl 1148.03321号 J.穆尔特-价值日志。软计算。 12，编号1-2，131-147（2006）.MSC公司：03B50号 03G20年 06D20日 PDF格式BibTeX公司 XML格式引用 \textit｛L.Iturrioz｝和\textit｛E.Orłowska｝，J.Mult-价值日志。软计算。12，编号1--2，131-147（2006；Zbl 1148.03321）
让-伊夫·贝齐奥 多值语义和克里普克语义。 （英语） Zbl 1130.03015号 van Benthem，Johan（编辑）等人，《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特：施普林格（ISBN 978-1-4020-5011-4/hbk；978-1-4020-5012-7/电子书）。《逻辑、认识论和科学的统一》3，89-101（2006）。 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥}，日志。认识论。统一科学。3、89——101（2006；Zbl 1130.03015）
温迪·麦考尔；迪米特·瓦卡雷洛夫 基于格的次一致逻辑。 （英语） Zbl 1185.03049号 MacCaull，Wendy（编辑）等人，《计算机科学中的关系方法》。2005年2月22日至26日，加拿大安大略省圣凯瑟琳市，第八届计算机科学关系方法国际研讨会，第三届克莱恩代数应用国际研讨会，以及成本行动274:TARSKI研讨会。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-33339-8/pbk）。计算机科学课堂讲稿3929173-187（2006）。MSC公司：03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{W.MacCaull}和\textit{D.Vakarelov}，莱克特。注释计算。科学。3929173--187（2006年；Zbl 1185.03049） 全文： 内政部
基贝迪，弗朗西斯科；乔治·图拉基斯 弱泛化谓词逻辑的模态扩展。 （英语） Zbl 1120.03015号 日志。J.IGPL公司 14，第4期，591-621（2006）. 审核人：Max A.Freund（圣何塞） MSC公司：03B45号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Kibedi}和\textit{G.Tourlakis}，日志。J.IGPL 14，第4期，591--621（2006；Zbl 1120.03015） 全文： 内政部
德米特里·斯科沃尔佐夫 关于某些类有充分基础和对偶有充分基础的Kripke框架的超直觉谓词逻辑的非公理化。 （英语） Zbl 1118.03018号 J.日志。计算。 16，第5期，685-695（2006）.MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，J.Log（J·洛格）。计算。16，第5号，685--695（2006；Zbl 1118.03018） 全文： 内政部
迪米特·瓦卡雷洛夫 海伦娜·拉西奥瓦作品中的非经典否定及其对否定理论的影响。 （英语） 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 1138.03008号 评论。数学。卡罗尔大学。 47，第1期，159-173（2006）. 审核人：玛丽·杜日伊（俄斯特拉发） MSC公司：03B20型 03B35型 05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{V.Švejdar}，评论。数学。卡罗尔大学。47，No.1，159--173（2006；Zbl 1138.03008） 全文： 欧洲DML EMIS公司
约翰·索瓦（John F.Sowa）。 世界、模型和描述。 （英语） Zbl 1115.03012号 螺柱日志。 84，第2233-360号（2006年）. 审核人：伯恩哈德·海尼曼（黑根） MSC公司：03B45号 03B65号 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Sowa}，研究日志。84，第2号，323--360（2006；Zbl 1115.03012） 全文： 内政部
张再岳；隋、岳飞；曹存根；吴国华 基于命题模态逻辑的形式化模糊推理系统和推理机制。 （英语） Zbl 1108.03030号 西奥。计算。科学。 368，编号1-2，149-160（2006）.MSC公司：03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Theor。计算。科学。368，编号1--2，149-160（2006；Zbl 1108.03030） 全文： 内政部
精木赤山；Yasunori长田 基于构造逻辑的Infon逻辑。 （英语） Zbl 1107.03025号 日志。分析。，努夫。Sér。 49，编号194，119-136（2006）.MSC公司：03B60号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}和\textit{Y.Nagata}，日志。分析。，努夫。Sér。49、第194、119--136号（2006；Zbl 1107.03025）
罗希特·查达；马其顿，达米亚诺；弗拉迪米罗·萨松 混合直觉主义逻辑：语义和可判定性。 （英语） Zbl 1107.03015号 J.日志。计算。 16，第1期，27-59（2006）.MSC公司：03B45号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人，J.Log。计算。16、第1号、第27-59号（2006；Zbl 1107.03015） 全文： 内政部 链接
埃里克·帕奎特；罗希特·帕里赫；科根，伊娃 基于知识的义务的逻辑。 （英语） Zbl 1103.03009号 合成 149，编号2，311-341（2006）.MSC公司：03A05号 03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{E.Pacuit}等人，Synthese 149，No.2，311--341（2006；Zbl 1103.03009） 全文： 内政部
阿奇尔·瓦尔齐（Achille C.Varzi）。 严格标识，无重叠。 （英语） Zbl 1103.03011号 螺柱日志。 82，第3期，371-378（2006）.MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Varzi}，螺柱日志。82，第3号，371--378（2006；Zbl 1103.03011） 全文： 内政部
劳埃德·亨伯斯通 同卵双胞胎、演绎定理和模式函数：探索S5的隐含BCSK片段。 （英语） Zbl 1101.03020号 J.菲洛斯。日志。 35，第5期，435-487（2006）; 勘误表同上，第36号，第2、249（2007）。MSC公司：03B45号 03B47号 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone}，J.Philos。日志。35，第5号，435--487（2006；Zbl 1101.03020） 全文： 内政部
诺里希罗·卡米德 具有时间、空间和认知算子的线性和仿射逻辑。 （英语） Zbl 1175.03039号 西奥。计算。科学。 353，编号1-3，165-207（2006）.MSC公司：03楼52 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide}，Theor。计算。科学。353，编号1--3，165-207（2006；Zbl 1175.03039） 全文： 内政部