摘要
R.安德森。 2008年，《安全工程：构建可靠分布式系统指南》（第二版）。 新泽西州霍博肯威利。 谷歌学者 
数字图书馆 
C.区域和B.十类。 2007.混合逻辑。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 爱思唯尔，821-868。 谷歌学者 S.阿尔特莫夫。 2008年。理由的逻辑。 符号逻辑综述1，4。 谷歌学者 交叉引用 
S.Artemov和R.Iemhoff。 2007.证明的基本直觉逻辑。 符号逻辑杂志72，2。 谷歌学者 交叉引用 A.Baskar、R.Ramanujam和S.Suresh。 2010年，采用分布式加密的DEXPTIME完整Dolev-Yao理论。 在MFCS会议记录中。 LNCS，第6281卷。 斯普林格。 谷歌学者 数字图书馆 P.Blackburn和J.van Benthem。 2007.模态逻辑：语义视角。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 Elsevier，1-84岁。 谷歌学者 P.Blackburn、J.van Benthem和F.Wolter，2007年版。 模态逻辑手册。 逻辑与实践推理研究，第3卷。 爱思唯尔。 谷歌学者 数字图书馆 T.Braüner和S.Ghilardi。 2007年，第一阶模态逻辑章节。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 爱思唯尔，549-620。 谷歌学者 V.de Paiva和E.Ritter。 2011.基本构造模式。 《无国界的逻辑：在沃尔特·亚历山德雷·卡尼埃利60岁生日之际为他举行的节日庆典》，Jean-Yves Beziau和Marcelo Esteban Coniglio（编辑）。 致敬系列，第17卷。 伦敦大学出版社。 谷歌学者 K.多森。 1984.作为必然运算符的直觉主义双重否定。 数学研究所出版物（贝尔格莱德）35，49。 谷歌学者 R.Fagin、J.Halpern、Y.Moses和M.Vardi。 1995.知识推理。 麻省理工学院出版社，马萨诸塞州剑桥。 谷歌学者 数字图书馆 S.Feferman。 1964 (1989). 数字系统：代数与分析基础（第二版）。 AMS切尔西出版社。 美国数学学会再版，2003年。 谷歌学者 N.Ferguson、B.Schneier和T.Kohno。 2010年，密码工程：设计原理和实际应用。 新泽西州霍博肯威利。 谷歌学者 数字图书馆 G.菲舍尔服务。 1984.一些直觉模态逻辑的公理化。 Rendiconti del seminario matematico del Politecnico di Torino都灵理工大学42、3。 谷歌学者 M.配件。 2007.模态证明理论。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 爱思唯尔，85-138。 谷歌学者 D.Gabbay，1995年版。 什么是逻辑系统？ 逻辑与计算研究第四名。 牛津大学出版社，纽约州纽约市。 谷歌学者 数字图书馆 D.戈尔曼。 2011.计算机安全（第3版）。 新泽西州霍博肯威利。 谷歌学者 数字图书馆 V.Goranko和M.Otto。 2007年，模态逻辑模型理论。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 爱思唯尔，249--329。 谷歌学者 V.Hendricks和O.Roy，Eds.2010。 认识逻辑：5个问题。 纽约自动出版社。 谷歌学者 J.Hindley和J.Seldin。 2008.Lambda-Calculus and Combinators（第二版）。 剑桥大学出版社，纽约州纽约市。 谷歌学者 数字图书馆 P.Hrubeš。 2007.直觉逻辑的下限。 《纯粹逻辑与应用逻辑年鉴》146。 谷歌学者 E.Jeřábek。 2008.受理规则的独立依据。 纯逻辑和应用逻辑兴趣小组逻辑杂志16，3。 谷歌学者 S.克莱默。 2012年a。 交互式证明逻辑（知识转移的形式理论）。 技术报告1201.3667，arXiv。 http://arxiv.org/abs/1201.3667。 谷歌学者 S.Kramer。 2012年b。 否定逻辑-完全交互证明（认知决策者的形式理论）。 技术报告1208.5913，arXiv。 2015年8月30日检索自 http://arxiv.org/abs/1208.5913。 谷歌学者 S.Kramer。 2012年c。 非单调交互证明的逻辑（临时知识转移的形式理论）。 技术报告1208.1842，arXiv。 2015年8月30日检索自 http://arxiv.org/abs/1208.1842。 谷歌学者 S.Kramer。 2013年a。 直觉交互证明的逻辑（选言知识转移的形式理论）。 在根特逻辑与科学哲学大会上提交的简短论文。 谷歌学者 S.Kramer。 2013年b。 直觉交互证明的逻辑（完美知识转移的形式理论）。 技术报告1309.1328，arXiv。 2015年8月30日检索自 http://arxiv.org/abs/1309.1328。 谷歌学者 数字图书馆 S.Kramer。 2013年c。 非单调交互证明的逻辑。 ICLA会议记录。 计算机科学讲义，第7750卷。 斯普林格。 谷歌学者 S.Kramer。 2014.否定逻辑-完全交互证明（认知决策者的形式理论）。 IMLA会议记录。 理论计算机科学电子笔记，第300卷。 爱思唯尔。 谷歌学者 数字图书馆 S.Kripke。 直觉逻辑的语义分析I.形式系统和递归函数。 《逻辑与数学基础研究》，第40卷。 爱思唯尔。 谷歌学者 J.-J.Meyer和F.Veltman。 2007.模态逻辑手册，智能代理和常识推理一章。 《模态逻辑手册》，《逻辑和实践推理研究》，第3卷，P.Blackburn、J.van Benthem和F.Wolters（编辑）。 爱思唯尔，991-1029。 谷歌学者 J.莫斯科瓦基斯。 2010.直觉主义逻辑。 《斯坦福大学哲学百科全书》，2010年夏季版，E.N.Zalta（编辑）。 谷歌学者 Y.Moschovakis。 2006.集合论注释（第二版）。 斯普林格。 谷歌学者 G.Plotkin和C.Stirling。 直觉模态逻辑框架。 《理性与知识的理论方面会议记录》。 摩根考夫曼出版公司，马萨诸塞州伯灵顿。 谷歌学者 数字图书馆 K.Pouliasis和G.Primiero。 2014.J-Calc：直觉证明逻辑的类型化lambda演算。 IMLA会议记录。 理论计算机科学电子笔记，第300卷。 爱思唯尔。 谷歌学者 数字图书馆 K.Ranalter。 2010年，将构造性K嵌入理论计算机科学中的直觉性K电子笔记262。 谷歌学者 数字图书馆 A.辛普森。 直觉模态逻辑的证明理论和语义。 博士论文，英国爱丁堡大学。 谷歌学者 R.Statman公司。 直觉命题逻辑是多项式空间完备的。 理论计算机科学9。 谷歌学者 G.Steren和E.Bonelli。 2014.证据的直觉假设逻辑。 IMLA会议记录。 理论计算机科学电子笔记，第300卷。 爱思唯尔。 谷歌学者 数字图书馆 P.泰勒。 1999.数学实用基础。 剑桥大学出版社，纽约州纽约市。 谷歌学者 A.Tiu、R.Goré和J.Dawson。 2010年。入侵者理论的证明理论分析。 计算机科学中的逻辑方法6，3。 谷歌学者 交叉引用 J.van Benthem。 1997年，模态逻辑作为信息理论。 《逻辑与现实：关于亚瑟·普赖尔遗产的论文》，B.J.科普兰（编辑）。 克拉伦登出版社，英国牛津。 谷歌学者 J.van Benthem。 2009年，直觉逻辑中的信息。 合成167。 谷歌学者 D.维杰塞卡拉。 1990.构造模态逻辑I.纯粹与应用逻辑年鉴50。 谷歌学者 交叉引用
建议
否定逻辑——完全交互证明（认识决定论的形式理论） 我们从非单调或即时交互证明（LiiP）的现有逻辑对应物中产生了一个可判定的内部否定完全的经典正规模态逻辑，从而产生了析取非单调交互证明（LDiiP）。 LDiiP。。。 模态公平对应理论——直觉主义模态逻辑的门德勒语义 摘要 我们研究了直觉主义模态逻辑在模态Fairtlough–Mendler语义（模态FM语义）中的对应理论（Inf Compute 137（1）：1–33， 1997 )这是可能性的直观模态版本。。。 走向一种容忍冲突义务的直觉道义逻辑 逻辑、语言、信息和计算 摘要 我们提出了一种基于直觉主义逻辑的最小道义逻辑，称为MIND。 这种逻辑为处理冲突义务提供了一个非常简单的解决方案：两个冲突义务的存在并不意味着一组。。。
