摘要
Artosi，A.、Governatori，G.和Rotolo，A.，2002年。 非单调推理的标签表：累积结果关系。 J.逻辑计算。 12, 6, 1027--1060. 谷歌学者 
交叉引用 
Beckert，B.和Goré，R.，1997年。 命题模态逻辑的自由变量表。 《使用分析表和相关方法的自动推理程序》（Tableaux’97），《人工智能讲义》，第1227卷，Springer-Verlag，91-106。 谷歌学者 数字图书馆 
Beckert，B.和Posegga，J.1995年。 leantap：基于精简表格的演绎。 J.自动化。 原因。 15, 3, 339--358. 谷歌学者 交叉引用 Bell，J.1990年。 非单调性的逻辑。 人工智能41、3、365-374。 谷歌学者 数字图书馆 Boutiler，C.1994年。 正规性的条件逻辑：一种模态方法。 AI 68，1，87-154。 谷歌学者 数字图书馆 Chellas，B.F.，1975年。 基本条件逻辑。 J.Phil.逻辑学4，133--153。 谷歌学者 交叉引用 Costello，T.和McCarthy，J.，1999年。 有用的反面事实。 电子。 事务处理。 AI 3，A部分。 谷歌学者 Crocco，G.和del Cerro，L.F.1995年。 结构、结果关系和逻辑，第4卷。 在D.M.Gabbay编辑的《什么是逻辑系统》中，牛津大学出版社，239-259。 谷歌学者 数字图书馆 Crocco，G.、del Cerro，L.F.和Herzig，A.1995年。 条件句：从哲学到计算机科学。 《逻辑与计算研究》，牛津大学出版社。 谷歌学者 数字图书馆 Crocco，G.和Lamarre，P.1992。 关于非单调推理系统与条件逻辑之间的联系。 第三届国际知识原则会议记录。 《表现与推理》，B.Nebel和E.Sandewall编辑，565--571。 谷歌学者 de Swart，H.C.M.1983年。 对于反事实逻辑vc和vcs，给出了一个gentzen-or-beth型系统、一个实用的决策过程和一个构造性的完备性证明。 J.塞姆。 逻辑48，1，1--20。 谷歌学者 交叉引用 Delgrade，J.P.1987年。 原型属性的一阶条件逻辑。 AI 33、1、105--130。 谷歌学者 数字图书馆 Delgrade，J.P.1988年。 基于一阶条件逻辑的默认推理方法：修订报告。 人工智能36，1，63-90。 谷歌学者 数字图书馆 Delgrade，J.P.和Groeneboer，C.1990年。 使用条件逻辑确定常识断言有效性的一般方法。 英特尔国际期刊。 系统。 5, 5, 505--520. 谷歌学者 交叉引用 配件，M.1998。 重新访问了Leantap。 逻辑计算杂志。 8, 1, 33--47. 谷歌学者 交叉引用 Friedman，N.和Halpern，J.，1994年。 关于条件逻辑的复杂性。 第四届国际知识表示与推理原理会议录。 202到213之间。 谷歌学者 Friedman，N.和Halpern，J.Y.，2001年。 合理性衡量标准和默认推理。 美国医学会期刊48，4，648--685。 谷歌学者 数字图书馆 Gabbay，D.M.，1996年。 标签演绎系统。 《牛津逻辑指南》，第1卷，牛津大学出版社。 谷歌学者 Gabbay，D.M.、Giordano，L.、Martelli，A.、Olivetti，N.和Sapino，M.L.，2000年。 逻辑编程中的条件推理。 J.逻辑程序。 44, 1-3, 37--74. 谷歌学者 交叉引用 Gabbay，D.M.和Olivetti，N.2000。 目标导向证明理论。 Kluwer学术出版社。 谷歌学者 数字图书馆 Gardenfors，P.和Rott，H.1995年。 信念修正。 《人工智能和逻辑编程中的逻辑手册》，第4卷，D.M.Gabbay、C.J.Hogger和J.A.Robinson编辑，牛津。 新闻大学。 谷歌学者 数字图书馆 Gent，I.P.1992年。 刘易斯反事实逻辑vc的序列或表式系统。圣母院J.形式逻辑33，3，369-382。 谷歌学者 交叉引用 Ginsberg，M.L.1986年。 反事实。 人工智能30，1，35--79。 谷歌学者 数字图书馆 Giordano，L.、Gliozzi，V.和Olivetti，N.，2002年。 迭代信念修正和条件逻辑。 Studia Logica逻辑研究70，1，23-47。 谷歌学者 交叉引用 Giordano，L.、Gliozzi，V.和Olivetti，N.，2005年。 弱agm假设和强ramsey测试：逻辑形式化。 人工智能168、1-2、1--37。 谷歌学者 数字图书馆 Giordano，L.、Gliozzi，V.、Olivetti，N.和Pozzato，G.L.，2005年。 klm优先逻辑和累积逻辑的分析表。 第十二届程序设计、人工智能和推理逻辑会议论文集（LPAR'05）。 《人工智能讲义》，第3835卷，施普林格·弗拉格，666-681。 谷歌学者 数字图书馆 Giordano，L.、Gliozzi，V.、Olivetti，N.和Schwind，C.，2003年。 基于偏好的条件逻辑表计算。 在《使用分析表和相关方法的自动推理程序》（Tableaux’03）中。 人工智能讲义，第2796卷，施普林格，81-101。 谷歌学者 Giordano，L.和Schwind，C.2004年。 行为和因果关系的条件逻辑。 AI 157、1-2、239--279。 谷歌学者 数字图书馆 Grahne，G.，1998年。 更新和反事实。 J.逻辑计算。 8，1，87-117。 谷歌学者 交叉引用 Hudelmaier，J.1993年。 直觉命题逻辑的O（n log n）-空间决策过程。 J.逻辑计算。 3, 1, 63--75. 谷歌学者 交叉引用 Kraus，S.、Lehmann，D.和Magidor，M.，1990年。 非单调推理、优先模型和累积逻辑。 人工智能44、1-2、167--207。 谷歌学者 数字图书馆 拉马尔，P.1992。 非单调提升练习曲：逻辑与条件的搭配。 图卢兹保罗·萨巴蒂尔大学博士论文。 谷歌学者 拉马尔，P.1993。 条件逻辑的tableaux证明程序。 第四届国际知识表示与推理原则会议记录，572-580。 谷歌学者 Lehmann，D.和Magidor，M.1992年。 有条件的知识库需要什么； 人工智能55，1，1--60。 谷歌学者 数字图书馆 刘易斯，D.1973。 反事实。 巴西尔·布莱克威尔有限公司。 谷歌学者 Lindstrom，S.和Rabinowicz，W.1992年。 信念修正、认知条件句和拉姆齐测验。 合成91，195--237。 谷歌学者 交叉引用 Miller，D.和Hodas，J.S.，1994年。 直觉线性逻辑片段中的逻辑编程。 J.通知。 计算。 110, 2, 327--365. 谷歌学者 数字图书馆 Miller，D.、Nadathur，G.、Pfenning，F.和Scedrov，A.，1991年。 统一证明是逻辑编程的基础。 Ann.纯粹应用。 逻辑51、1-2、125--157。 谷歌学者 交叉引用 Negri，S.2005年。 模态逻辑中的证明分析。 J.菲洛斯。 逻辑，出现。 谷歌学者 Nute，D.1980年。 条件逻辑主题。 多德雷赫特·雷德尔。 谷歌学者 Obeid，N.2001年。 基于模型的诊断和条件逻辑。 申请。 智力。 第14213-230页。 谷歌学者 数字图书馆 Olivetti，N.和Pozzato，G.L.，2003年。 康德林：条件逻辑的定理证明器。 在《使用分析表和相关方法的自动推理程序》（Tableaux'03）中。 《人工智能讲义》，第2796卷，施普林格出版社，264-270页。 谷歌学者 Olivetti，N.和Pozzato，G.L.，2005年。 Condlean 3.0：改进Condlean以获得更强的条件逻辑。 《使用分析表和相关方法的自动推理程序》（Tableaux'05）。 《人工智能讲义》，第3702卷，施普林格出版社，第338-332页。 谷歌学者 数字图书馆 Olivetti，N.、Pozzato，G.L.和Schwind，C.B.，2005年。 标准条件逻辑的序列演算和定理证明：扩展版。 技术代表87/05，Dip。 都灵大学信息学院， 网址：http://www.di.unito.it/ ~argo/biblio/publications.php？ author=披萨。 谷歌学者 Olivetti，N.和Schwind，C.B.2000。 条件逻辑分析表。 都灵大学技术代表。 谷歌学者 Olivetti，N.和Schwind，C.B.2001年。 最小条件逻辑的演算和复杂性。 《意大利理论计算机科学会议论文集》（ICTCS’01）。 计算机科学课堂讲稿，第2202卷，施普林格·弗拉格，384-404。 谷歌学者 数字图书馆 Pozzato，G.L.2003年。 根据逻辑条件自动推导：分析定理证明器。 都灵大学信息学院Tesi di laurea。 网址：http://www.di.unito.it/ ~pozzato/tesiPozzato.html。 谷歌学者 Pym，D.J.和Harland，J.，1994年。 线性逻辑规划的统一证明理论研究。 J.逻辑计算。 4, 2, 175--207. 谷歌学者 交叉引用 Schwind，C.B.1999年。 行动理论中的因果关系。 选举人。 事务处理。 人工智能3，A，27-50。 谷歌学者 Stalnaker，R.1968年。 条件句理论。 N.Rescher，Ed.，《逻辑理论研究》，《美国哲学季刊》，专著系列第2号，牛津布莱克威尔，98-112。 谷歌学者 Troelstra，A.S.和Schwichtenberg，H.2000。 基本证明理论。 剑桥大学出版社。 谷歌学者 数字图书馆 Viganå，L.2000年。 标记的非经典逻辑。 Kluwer学术出版社，多德雷赫特。 谷歌学者
索引术语
标准条件逻辑的序列演算和定理证明器
建议
MOIN：直觉模态逻辑的嵌套序列定理证明程序（系统描述） 自动推理 摘要 我们提出了一个基于嵌套序列证明系统的直觉模态逻辑的简单Prolog证明程序。 我们已经为…中的所有逻辑实现了单结论系统（Gentzen型）和多结论系统（Maehara型）。。。
