编辑配置文件（在新选项卡中打开） 海因里希·西奥多 合著者距离 作者ID： wansing.heinrich-theodor公司 发布日期： 海因里希·万兴；Wansing，H。；海因里希·西奥多 更多。。。较少的 外部链接： 管理程序 已编制索引的文档： 117出版物自1988年以来，包括5本书 26作为编辑的贡献 审查活动： 70条评论 合著者： 46位合著者具有89联合出版物 700名合作作者 全部的 前5名合著者 52 单作者的 14 雅罗斯拉夫·什兰科。 11 诺里希罗·卡米德 11 谢尔盖·奥丁佐夫。 9 大森，Hitoshi 5 马尔滕·德·里杰克 5 格里戈里·K·奥尔霍维科夫。 4 丹尼尔·斯科特 4 迈克尔·维克托洛维奇（Michael Viktorovich） 三 卡罗琳，塞姆林 三 马克斯·彼得·乌尔赫斯 2 萨拉·艾汉 2 贝尔纳普，Nuel D.jun。 2 罗伯托·齐尼 2 谢尔盖·德罗比舍维奇 2 罗伊·戴克霍夫 2 Dov M.加巴伊。 2 大卫·克莱门·梅金森 2 雅切克·马林诺夫斯基 2 克里斯特·塞格伯格 2 Elias G.C.Thijsse。 2 卡罗琳·威尔科曼 1 克里斯托弗·巴杜拉 1 卡罗来纳州布拉西奥 1 蝉蜕、阿加塔 1 安娜·戈莫林斯卡 1 文森特·亨德里克斯。 1 斯特芬·Hölldobler 1 马库斯·克拉希特 1 菲利普·克莱默 1 阿明·劳克斯 1 弗朗索瓦·利佩奇 1 罗伯特·莱斯科 1 卡斯滕·卢茨 1 乔安·马科斯 1 费边·纽豪斯 1 萨托鲁·尼基 1 斯迪格·安杜尔·佩德森 1 伊恩·普拉特·哈特曼 1 牧师，格雷厄姆 1 雷文莎·拉马纳亚克 1 马克·亚历山大·雷诺兹 1 马可·安东尼奥·鲁菲诺 1 乌韦·谢夫勒 1 雷娜特·施密特（Renate A.Schmidt）。 1 马提亚斯·优特胡伯 1 弗兰克·沃尔特 全部的 前5名系列 21 Studia Logica公司 12 哲学逻辑杂志 9 逻辑与逻辑哲学 5 合成 4 逻辑科公报 4 逻辑与计算杂志 4 IGPL逻辑杂志 4 应用逻辑杂志 4 逻辑趋势——Studia Logica图书馆 4 符号逻辑述评 三 逻辑、语言与信息杂志 三 应用非经典逻辑杂志 三 计算机科学课堂讲稿 2 圣母院形式逻辑杂志 2 数理逻辑报告 2 埃尔肯特尼斯 2 澳大利亚逻辑杂志 2 CSLI课堂讲稿 2 应用逻辑系列 1 符号逻辑杂志 1 理论计算机科学 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 纯逻辑与应用逻辑年鉴 1 数学逻辑季刊（MLQ） 1 IGPL杂志 1 托波伊 1 计算机基础理论 1 Synthese库 1 逻辑的进展 1 逻辑哲学 1 逻辑研究（伦敦） 1 对逻辑的杰出贡献 1 Logicheskie Issledovaniya逻辑 领域 142 数学逻辑和基础（03-XX） 27 总体主题；集合（00-XX） 19 计算机科学（68至XX） 4 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 109出版物有1122年被引用中的次523文件 引用人▼ 年份▼ 连接模态逻辑。 Zbl 1107.03017号 海因里希·万兴 78 2005 信息结构的逻辑。 Zbl 0788.03001号 海因里希·万兴 58 1993 一些有用的16值逻辑：计算机网络应该如何思考。 Zbl 1094.03012号 雅罗斯拉夫·什兰科；海因里希·万兴 50 2005 真理与谬误。对广义逻辑值的探讨。 Zbl 1251.03002号 雅罗斯拉夫·什兰科；海因里希·万兴 46 2011 FDE 40年：简介。 兹伯利1417.03027 大森，Hitoshi；海因里希·万兴 45 2017 具有Belnapian真值的模态逻辑。 Zbl 1242.03050号 谢尔盖·奥丁佐夫。；海因里希·万兴 36 2010 建设性否定、隐含和共同隐含。 Zbl 1181.03027号 海因里希·万兴 35 2008 显示模态逻辑。 兹比尔0955.03006 海因里希·万兴 33 1998 N4-次协调逻辑的证明理论。 Zbl 1436.03003号 诺里希罗·卡米德；海因里希·万兴 29 2015 证伪、自然演绎和双理论逻辑。 Zbl 1444.03009号 海因里希·万兴 28 2016 超矛盾、广义真理观和真与假的逻辑。 Zbl 1159.03302号 雅罗斯拉夫·什兰科；海因里希·万兴 28 2006 纳尔逊次协调逻辑的证明理论：一个统一的观点。 Zbl 1382.03048号 诺里希罗·卡米德；海因里希·万兴 27 2012 正规模态命题逻辑的序贯计算。 Zbl 0799.03014号 海因里希·万兴 26 1994 推理知识和信仰的一般可能世界框架。 兹伯利0744.03028 海因里希·万兴 23 1990 什么是否定？ Zbl 0957.00012号 20 1999 否定作为取消、连接逻辑和qLPm。 Zbl 1455.03033号 海因里希·万兴；丹尼尔·斯科特 19 2018 解开缠绕FDE公司-基于次协调模态逻辑。 Zbl 1417.03160号 谢尔盖·奥丁佐夫。；海因里希·万兴 19 2017 蕴涵的一个推理多值二维概念。 Zbl 1423.03068号 卡罗来纳州布拉西奥；乔安·马科斯；海因里希·万兴 18 2017 证明、反驳及其双重性。 Zbl 1254.03065号 海因里希·万兴 18 2010 苏斯科的论文，推理多值性和逻辑系统的概念。 Zbl 1189.03026号 海因里希·万兴；雅罗斯拉夫·什兰科 18 2008 证明理论语义的思想和逻辑操作的含义。 Zbl 0947.03072号 海因里希·万兴 16 2000 不一致容忍描述逻辑：动机和基本系统。 Zbl 1048.03021号 Odintsov，Serguei P。；海因里希·万兴 16 2003 子结构命题逻辑的信息解释。 Zbl 0795.03014号 海因里希·万兴 14 1993 不一致的描述逻辑。二： \（\mathcal{CALC}^{mathsf C}\）的表格算法。 Zbl 1149.03023号 Odintsov，S.P。；Wansing，H。 14 2008 连接逻辑。概述和当前趋势。 兹比尔1458.03005 大森，Hitoshi；海因里希·万兴 14 2019 关于Nelson逻辑的反经典变体4号机组及其经典扩展。 Zbl 1477.03095号 大森，Hitoshi；海因里希·万兴 14 2018 将线性时间逻辑与构造性和超一致性相结合。 Zbl 1207.03022号 诺里希罗·卡米德；海因里希·万兴 13 2010 广义真值逻辑和双参数逻辑。 兹伯利1364.03036 谢尔盖·奥廷索夫；海因里希·万兴 13 2015 更一般的证明理论。 Zbl 1436.03294号 海因里希·万兴 12 2017 连接逻辑C的扩展。 Zbl 07585730号 大森，Hitoshi；海因里希·万兴 11 2020 否定。 Zbl 1010.03006号 海因里希·万兴 11 2001 多智能体审议状态逻辑表。 Zbl 1148.03008号 海因里希·万兴 11 2006 关于分裂否定、强否定、信息、伪造和验证。 Zbl 1439.03057号 海因里希·万兴 11 2016 关于想象逻辑的评论。通过想象理解多角形控制的一步。 Zbl 1417.03104号 海因里希·万兴 11 2017 构造谓词逻辑和构造模态逻辑。形式对偶与语义对偶。 Zbl 1096.03018号 Odintsov，S.P。；Wansing，H。 10 2004 钻石是哲学家最好的朋友。认知悖论与模态认知关联逻辑。 Zbl 1027.03018号 海因里希·万兴 10 2002 超连续和显示计算–统一的视角。 Zbl 1344.03043号 蝉蜕、阿加塔；雷文莎·拉马纳亚克；海因里希·万兴 10 2014 广义真值。对Dubois的回复。 Zbl 1209.03020号 海因里希·万兴；贝尔纳普，努埃尔 9 2010 关于Belnap-Dunn逻辑的新论文。 Zbl 1433.03008号 9 2019 关于范畴语法中否定的一点注记。 Zbl 1134.03016号 海因里希·万兴 9 2007 显示一致性的模态逻辑。 Zbl 0964.03020号 海因里希·万兴 8 1999 和谐多值命题逻辑与计算机网络逻辑。 Zbl 1229.03025号 海因里希·万兴；雅罗斯拉夫·什兰科 8 2008 一些三格逻辑的序列演算。 Zbl 1174.03008号 诺里希罗·卡米德；海因里希·万兴 8 2009 连接条件逻辑。一、。 Zbl 1458.03017号 海因里希·万兴；马提亚斯·优特胡伯 8 2019 康涅狄格州比东京更奇怪。 兹伯利1107.03011 海因里希·万兴 7 2006 Bemerkungen zur Semantik nicht-normaler möglicher Welten公司。（关于非正常可能世界语义的评论）。 Zbl 0685.03012号 海因里希·万兴 7 1989 基于语义的非单调推理。 兹伯利0839.03012 海因里希·万兴 7 1995 劳特利星和超强度。 Zbl 07345775号 谢尔盖·奥廷索夫；海因里希·万兴 7 2021 关于次协调逻辑的方法论。 Zbl 1429.03109号 海因里希·万兴；谢尔盖·奥丁佐夫。 7 2016 显示为临时化。亚直觉逻辑的顺序系统。 Zbl 0898.03020号 海因里希·万兴 7 1997 基于正S4的连接模态逻辑。 Zbl 1261.03087号 诺里希罗·卡米德；海因里希·万兴 6 2011 Belnap的威力：（SIXTEEN_{3}）的序列系统。 Zbl 1200.03019号 海因里希·万兴 6 2010 达格·普拉维茨（Dag Prawitz）谈证据和意义。 Zbl 1304.03008号 6 2015 弹弓论证和句子同一性。 Zbl 1178.03012号 雅罗斯拉夫·什兰科；海因里希·万兴 6 2009 STIT想象逻辑的公理系统和表格演算。 Zbl 1436.03114号 格里戈里·奥尔霍维科夫。；海因里希·万兴 6 2018 义务、权限和历史依赖性。 Zbl 1005.03027号 海因里希·万兴 5 2001 从BDI和stit到BDI-sit逻辑。 Zbl 1159.03013号 卡罗琳，塞姆林；海因里希·万兴 5 2008 显示谓词逻辑。 Zbl 0922.03016号 海因里希·万兴 5 1999 双直觉多格逻辑的Kripke完备性及其连接变量。 Zbl 1417.03179号 诺里希罗·卡米德；雅罗斯拉夫·什兰科；海因里希·万兴 5 2017 从邓恩语义学看否定和反经典的多样性。 Zbl 07576856号 大森，Hitoshi；海因里希·万兴 5 2022 对称逻辑和对偶次协调逻辑。 兹伯利1227.03034 诺里希罗·卡米德；海因里希·万兴 4 2010 否定。聚焦的概念。1994年9月7日至10日在德国莱比锡举行的Gesellschaft für Analytische Philosophie（GAP）会议分析2期间举行的跨学科研讨会论文集。 Zbl 0964.00034号 4 1996 直觉命题逻辑子系统的函数完备性。 Zbl 0776.03003号 海因里希·万兴 4 1993 编辑导言。真理价值观。一、。 Zbl 1163.03300号 雅罗斯拉夫·什兰科；海因里希·万兴 4 2009 推论作为强词夺理的代理。I： 论证的基本逻辑。 Zbl 07055416号 格里戈里·K·奥尔霍维科夫。；海因里希·万兴 4 2019 关于动作类型的否定：建设性并发PDL。 Zbl 1102.03033号 海因里希·万兴 三 2005 信息结构的逻辑。 Zbl 0804.03019号 海因里希·西奥多 三 1992 蕴涵关系和/作为真理值。 Zbl 1286.03088号 雅罗斯拉夫·什兰科；海因里希·万兴 三 2007 一种准一致的线性时间时序逻辑。 Zbl 1228.03012号 诺里希罗·卡米德；海因里希·万兴 三 2011 直觉主义三格逻辑。 Zbl 1205.03034号 海因里希·万兴；诺里希罗·卡米德 三 2010 对逻辑真理和谬误的非干涉主义、反现实的概念。 Zbl 1308.03033号 海因里希·万兴 三 2012 编辑导言。真理价值观。二、。 Zbl 1177.03005号 雅罗斯拉夫·什兰科；海因里希·万兴 三 2009 将多角主义逻辑简化为行动逻辑。 Zbl 0977.03016号 海因里希·万兴 三 2000 将超序列转换为显示序列。 Zbl 0917.03026号 海因里希·万兴 三 1998 外咖喱。 Zbl 1329.03089号 海因里希·万兴；牧师，格雷厄姆 三 2015 塔尔斯基结构化结果关系和函数完备性。 Zbl 0816.03015号 海因里希·万兴 2 1995 模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。 Zbl 0852.00019号 2 1996 确保代理人形成信仰。 Zbl 1035.03008号 海因里希·万兴 2 2002 关于信念修正的推理。 兹比尔1253.03037 卡罗琳，塞姆林；海因里希·万兴 2 2011 同步线性时间时序逻辑。 Zbl 1271.03026号 海因里希·万兴；诺里希罗·卡米德 2 2011 一个健全完整的bdi-sit逻辑公理系统。 Zbl 1275.03085号 卡罗琳，塞姆林；海因里希·万兴 2 2009 构造模态逻辑的逻辑连接词。 Zbl 1111.03019号 海因里希·万兴 2 2006 嵌套的道义模式：高速公路上停车的另一种观点。 Zbl 0964.03022号 海因里希·万兴 2 1998 否定是虚假的：对坦能的回应。 Zbl 0981.03008号 海因里希·万兴 2 1999 许多模态逻辑和时态逻辑的函数完备性的证明理论证明。 兹伯利0867.03018 海因里希·万兴 2 1996 基于残差的模态表。 Zbl 0898.03008号 海因里希·万兴 2 1997 STIT想象逻辑的简化表格。 Zbl 1457.03034号 格里戈里·奥尔霍维科夫。；海因里希·万兴 2 2019 论非及物“同一性”。 Zbl 1469.03083号 海因里希·万兴；丹尼尔·斯科特 2 2019 什么是系统中的否定？结构化结果关系中的否定。 Zbl 0926.03033号 Dov M.加巴伊。；海因里希·万兴 2 1996 关于连接词和模态逻辑的可定义性FDE公司. Zbl 1458.03015号 谢尔盖·奥丁佐夫。；丹尼尔·斯科特；海因里希·万兴 2 2019 推论作为强词夺理的代理。二： 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。；海因里希·万兴 2 2017 模态逻辑的进展。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。 Zbl 0897.00022号 2 1998 论证明理论语义学中的同义词：\（\mathtt{2Int}\）的情况。 Zbl 07811413号 萨拉·艾汉；海因里希·万兴 1 2023 Stit公司-自愿输入的想象片段的逻辑。 Zbl 07740299号 克里斯托弗·巴杜拉；海因里希·万兴 1 2023 计算机网络逻辑。 Zbl 1102.03025号 Wansing，H。；亚利桑那州Shramko。五、。 1 2005 整体模态逻辑中的证明和表达。 Zbl 1111.03312号 马尔滕·德·里杰克；海因里希·万兴 1 2002 现代模态逻辑的起源。 Zbl 0994.03010号 扎卡里亚舍夫，迈克尔；克里斯特·塞格伯格；马尔滕·德·里杰克；海因里希·万兴 1 2001 哲学逻辑的最新趋势。2012年6月3日至5日在德国波鸿举行的“逻辑十一大趋势”会议的部分贡献。 Zbl 1290.03003号 1 2014 三格逻辑的完备性和删减定理。 Zbl 1225.03024号 诺里希罗·卡米德；海因里希·万兴 1 2011 勘误表：“苏兹科的论文，推论的多值性，以及逻辑系统的概念”。 兹比尔1140.03309 海因里希·万兴；雅罗斯拉夫·什兰科 1 2008 论证明理论语义学中的同义词：\（\mathtt{2Int}\）的情况。 Zbl 07811413号 萨拉·艾汉；海因里希·万兴 1 2023 Stit公司-自愿输入的想象片段的逻辑。 Zbl 07740299号 克里斯托弗·巴杜拉；海因里希·万兴 1 2023 从邓恩语义学看否定和反经典的多样性。 Zbl 07576856号 大森，Hitoshi；海因里希·万兴 5 2022 Moisil的模态逻辑和相关系统。 Zbl 07576848号 谢尔盖·德罗比舍维奇；谢尔盖·奥廷索夫；海因里希·万兴 1 2022 劳特利星和超强度。 Zbl 07345775号 谢尔盖·奥廷索夫；海因里希·万兴 7 2021 隐含的本质：一种信息方法。 Zbl 1525.03082号 雅罗斯拉夫·什兰科；海因里希·万兴 1 2021 FDE上模态逻辑的连接变体。 Zbl 07452008号 谢尔盖·奥廷索夫；丹尼尔·斯科特；海因里希·万兴 1 2021 连接逻辑C的扩展。 Zbl 07585730号 大森，Hitoshi；海因里希·万兴 11 2020 各种证明系统FDE公司-基于模态逻辑。 Zbl 1479.03013号 谢尔盖·德罗比舍维奇；海因里希·万兴 1 2020 连接逻辑。概述和当前趋势。 Zbl 1458.03005号 大森，Hitoshi；海因里希·万兴 14 2019 关于Belnap-Dunn逻辑的新论文。 Zbl 1433.03008号 9 2019 连接条件逻辑。一、。 兹比尔1458.03017 海因里希·万兴；马提亚斯·优特胡伯 8 2019 推论作为强词夺理的代理。I： 论证的基本逻辑。 Zbl 07055416号 格里戈里·奥尔霍维科夫。；海因里希·万兴 4 2019 STIT想象逻辑的简化表格。 Zbl 1457.03034号 格里戈里·奥尔霍维科夫。；海因里希·万兴 2 2019 关于非传递性的“同一性”。 Zbl 1469.03083号 海因里希·万兴；丹尼尔·斯科特 2 2019 连接词和模态逻辑的可定义性FDE公司. Zbl 1458.03015号 谢尔盖·奥丁佐夫。；丹尼尔·斯科特；海因里希·万兴 2 2019 否定作为取消、连接逻辑和qLPm。 兹比尔1455.03033 海因里希·万兴；丹尼尔·斯科特 19 2018 关于Nelson逻辑的反经典变体4号机组及其经典扩展。 Zbl 1477.03095号 大森，Hitoshi；海因里希·万兴 14 2018 STIT想象逻辑的公理系统和表格演算。 Zbl 1436.03114号 格里戈里·奥尔霍维科夫。；海因里希·万兴 6 2018 FDE 40年：简介。 Zbl 1417.03027号 大森，Hitoshi；海因里希·万兴 45 2017 解开缠绕FDE公司-基于次协调模态逻辑。 Zbl 1417.03160号 谢尔盖·奥丁佐夫。；海因里希·万兴 19 2017 蕴涵的一个推理多值二维概念。 Zbl 1423.03068号 卡罗来纳州布拉西奥；乔安·马科斯；海因里希·万兴 18 2017 更一般的证明理论。 Zbl 1436.03294号 海因里希·万兴 12 2017 关于想象逻辑的评论。通过想象理解多角形控制的一步。 Zbl 1417.03104号 海因里希·万兴 11 2017 双直觉多格逻辑的Kripke完备性及其连接变量。 Zbl 1417.03179号 诺里希罗·卡米德；雅罗斯拉夫·什兰科；海因里希·万兴 5 2017 推论作为强词夺理的代理。二： 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。；海因里希·万兴 2 2017 重印：“更一般的证明理论”。 Zbl 1436.03295号 海因里希·万兴 1 2017 证伪、自然演绎和双理论逻辑。 Zbl 1444.03009号 海因里希·万兴 28 2016 关于分裂否定、强否定、信息、伪造和验证。 Zbl 1439.03057号 海因里希·万兴 11 2016 关于次协调逻辑的方法论。 Zbl 1429.03109号 海因里希·万兴；谢尔盖·奥丁佐夫。 7 2016 N4-次协调逻辑的证明理论。 Zbl 1436.03003号 诺里希罗·卡米德；海因里希·万兴 29 2015 广义真值逻辑和双参数逻辑。 兹伯利1364.03036 谢尔盖·奥廷索夫；海因里希·万兴 13 2015 达格·普拉维茨（Dag Prawitz）谈证据和意义。 Zbl 1304.03008号 6 2015 外咖喱。 Zbl 1329.03089号 海因里希·万兴；牧师，格雷厄姆 三 2015 Prawitz，证明和意义。 Zbl 1429.03197号 海因里希·万兴 1 2015 超连续和显示计算–统一的视角。 Zbl 1344.03043号 蝉蜕、阿加塔；雷文莎·拉马纳亚克；海因里希·万兴 10 2014 哲学逻辑的最新趋势。2012年6月3日至5日在德国波鸿举行的“逻辑趋势十一”会议的部分贡献。 Zbl 1290.03003号 1 2014 纳尔逊次协调逻辑的证明理论：一个统一的观点。 Zbl 1382.03048号 诺里希罗·卡米德；海因里希·万兴 27 2012 对逻辑真理和谬误的非干涉主义、反现实的概念。 Zbl 1308.03033号 海因里希·万兴 三 2012 真理与谬误。对广义逻辑值的探讨。 Zbl 1251.03002号 雅罗斯拉夫·什兰科；海因里希·万兴 46 2011 基于正S4的连接模态逻辑。 Zbl 1261.03087号 诺里希罗·卡米德；海因里希·万兴 6 2011 一种准一致的线性时间时序逻辑。 Zbl 1228.03012号 诺里希罗·卡米德；海因里希·万兴 三 2011 关于信念修正的推理。 Zbl 1253.03037号 卡罗琳，塞姆林；海因里希·万兴 2 2011 同步线性时间时序逻辑。 Zbl 1271.03026号 海因里希·万兴；诺里希罗·卡米德 2 2011 三格逻辑的完备性和删减定理。 Zbl 1225.03024号 诺里希罗·卡米德；海因里希·万兴 1 2011 具有Belnapian真值的模态逻辑。 Zbl 1242.03050号 谢尔盖·奥丁佐夫。；海因里希·万兴 36 2010 证明、反驳及其双重性。 Zbl 1254.03065号 海因里希·万兴 18 2010 将线性时间逻辑与构造性和超一致性相结合。 Zbl 1207.03022号 诺里希罗·卡米德；海因里希·万兴 13 2010 广义真值。对Dubois的回复。 Zbl 1209.03020号 海因里希·万兴；贝尔纳普，努埃尔 9 2010 Belnap的威力：（SIXTEEN_{3}）的序列系统。 Zbl 1200.03019号 海因里希·万兴 6 2010 对称逻辑和对偶次协调逻辑。 兹伯利1227.03034 诺里希罗·卡米德；海因里希·万兴 4 2010 直觉主义三格逻辑。 Zbl 1205.03034号 海因里希·万兴；诺里希罗·卡米德 三 2010 一些三格逻辑的序贯计算。 Zbl 1174.03008号 诺里希罗·卡米德；海因里希·万兴 8 2009 弹弓论点和句子的同一性。 Zbl 1178.03012号 雅罗斯拉夫·什兰科；海因里希·万兴 6 2009 编辑导言。真理价值观。一、。 Zbl 1163.03300号 雅罗斯拉夫·什兰科；海因里希·万兴 4 2009 编辑简介。真理价值观。二、。 Zbl 1177.03005号 雅罗斯拉夫·什兰科；海因里希·万兴 三 2009 一个健全完整的bdi-sit逻辑公理系统。 Zbl 1275.03085号 卡罗琳，塞姆林；海因里希·万兴 2 2009 建设性否定、隐含和共同隐含。 Zbl 1181.03027号 海因里希·万兴 35 2008 苏斯科的论文，推理多值性和逻辑系统的概念。 Zbl 1189.03026号 海因里希·万兴；雅罗斯拉夫·什兰科 18 2008 不一致的描述逻辑。二： \（\mathcal{CALC}^{mathsf C}\）的表格算法。 Zbl 1149.03023号 Odintsov，S.P。；Wansing，H。 14 2008 和谐多值命题逻辑与计算机网络逻辑。 Zbl 1229.03025号 海因里希·万兴；雅罗斯拉夫·什兰科 8 2008 从BDI和stit到BDI-sit逻辑。 Zbl 1159.03013号 卡罗琳，塞姆林；海因里希·万兴 5 2008 勘误表：“苏兹科的论文，推论的多值性，以及逻辑系统的概念”。 Zbl 1140.03309号 海因里希·万兴；雅罗斯拉夫·什兰科 1 2008 人工智能中的逻辑。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。 Zbl 1146.68009号 1 2008 关于范畴语法中否定的一点注记。 Zbl 1134.03016号 海因里希·万兴 9 2007 蕴涵关系和/作为真理值。 Zbl 1286.03088号 雅罗斯拉夫·什兰科；海因里希·万兴 三 2007 超控制、广义真值和真与假的逻辑。 Zbl 1159.03302号 雅罗斯拉夫·什兰科；海因里希·万兴 28 2006 多智能体审议状态逻辑表。 Zbl 1148.03008号 海因里希·万兴 11 2006 康涅狄格州比东京更奇怪。 Zbl 1107.03011号 海因里希·万兴 7 2006 构造模态逻辑的逻辑连接词。 兹比尔1111.03019 海因里希·万兴 2 2006 连接模态逻辑。 Zbl 1107.03017号 海因里希·万兴 78 2005 一些有用的16值逻辑：计算机网络应该如何思考。 Zbl 1094.03012号 雅罗斯拉夫·什兰科；海因里希·万兴 50 2005 关于动作类型的否定：建设性并发PDL。 Zbl 1102.03033号 海因里希·万兴 三 2005 计算机网络逻辑。 Zbl 1102.03025号 Wansing，H。；Shramko，Ya。五、。 1 2005 构造谓词逻辑和构造模态逻辑。形式对偶与语义对偶。 Zbl 1096.03018号 Odintsov，S.P。；Wansing，H。 10 2004 重新审视一阶逻辑。2003年9月18日至21日，德国柏林洪堡大学，FOL75–75年一阶逻辑会议记录。 Zbl 1076.03004号 1 2004 不一致容忍描述逻辑：动机和基本系统。 Zbl 1048.03021号 Odintsov，Serguei P。；海因里希·万兴 16 2003 钻石是哲学家最好的朋友。认知悖论与模态认知关联逻辑。 Zbl 1027.03018号 海因里希·万兴 10 2002 确保代理人形成信仰。 Zbl 1035.03008号 海因里希·万兴 2 2002 古希腊模态逻辑中的证明和表达。 Zbl 1111.03312号 马尔滕·德·里杰克；海因里希·万兴 1 2002 否定。 Zbl 1010.03006号 海因里希·万兴 11 2001 义务、权限和历史依赖性。 Zbl 1005.03027号 海因里希·万兴 5 2001 现代模态逻辑的起源。 Zbl 0994.03010号 扎卡里亚舍夫，迈克尔；克里斯特·塞格伯格；马尔滕·德·里杰克；海因里希·万兴 1 2001 证明理论语义的思想和逻辑操作的含义。 Zbl 0947.03072号 海因里希·万兴 16 2000 将多角主义逻辑简化为行动逻辑。 Zbl 0977.03016号 海因里希·万兴 三 2000 什么是否定？ Zbl 0957.00012号 20 1999 显示一致性的模态逻辑。 Zbl 0964.03020号 海因里希·万兴 8 1999 显示谓词逻辑。 兹伯利0922.03016 海因里希·万兴 5 1999 否定是虚假的：对坦能的回应。 Zbl 0981.03008号 海因里希·万兴 2 1999 显示模态逻辑。 兹比尔0955.03006 海因里希·万兴 33 1998 将超序列转换为显示序列。 兹伯利0917.03026 海因里希·万兴 三 1998 嵌套道义模式：高速公路停车的另一种观点。 Zbl 0964.03022号 海因里希·万兴 2 1998 模态逻辑的进展。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。 Zbl 0897.00022号 2 1998 显示为临时化。亚直觉逻辑的顺序系统。 Zbl 0898.03020号 海因里希·万兴 7 1997 基于残差的模态表。 Zbl 0898.03008号 海因里希·万兴 2 1997 否定。一个聚焦的概念。1994年9月7日至10日在德国莱比锡举行的Gesellschaft für Analytische Philosophie（GAP）会议分析2期间举行的跨学科研讨会论文集。 Zbl 0964.00034号 4 1996 模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。 Zbl 0852.00019号 2 1996 许多模态逻辑和时态逻辑的函数完备性的证明理论证明。 Zbl 0867.03018号 海因里希·万兴 2 1996 什么是系统中的否定？结构化结果关系中的否定。 Zbl 0926.03033号 Dov M.加巴伊。；海因里希·万兴 2 1996 基于语义的非单调推理。 Zbl 0839.03012号 海因里希·万兴 7 1995 …还有9个文档 所有引用出版物 前5名被引用出版物 全部的 前5名413位作者引用 52 海因里希·西奥多 44 诺里希罗·卡米德 15 雅罗斯拉夫·什兰科。 14 谢尔盖·奥丁佐夫。 14 大森，Hitoshi 10 路易斯·埃斯特拉达·冈萨雷斯 10 尼西姆·弗朗西兹 8 谢尔盖·德罗比舍维奇 8 费德里科·马蒂亚斯·佩洛斯 8 雅罗斯拉夫·伊戈列维奇·彼得鲁金 8 弗朗西丝卡·波乔列西 7 托马斯·麦考利·弗格森 7 戴维·里普利 7 翁贝托·里维奇奥 6 弗朗西斯科·贝尔托 6 Broersen，Jan M。 6 朱塞佩·格雷科 6 Daniel Kozhemiachenko 6 乔安·马科斯 6 内格里，萨拉 6 亚历山德拉·帕尔米吉亚诺 6 杰玛·罗伯斯 6 达米安·恩里克·斯穆克 5 阿诺·阿夫隆 5 贝尔科娃，玛尔塔 5 保罗·埃格里 5 萨宾·弗里特拉 5 安德烈·因德泽扎克（Andrzej Indrzejczak） 5 格里戈里·奥尔霍维科夫。 5 阿比利奥·罗德里格斯 5 丹尼尔·斯科特 5 Dmitry V.扎伊采夫。 4 奥费尔·阿列利 4 萨拉·艾汉 4 爱德华多·亚历杭德罗·巴里奥 4 托本·布吕纳 4 沃尔特·亚历山大·卡尼埃利 4 奥列格·米哈·洛维奇·格里戈列夫 4 马特乌斯·克洛诺夫斯基 4 马明辉 4 弗朗西斯科·保利 4 Tranchini，卢卡 4 安娜·扎曼斯基 三 比尔，Jc 三 沃伊切赫·巴斯科夫斯基 三 卡洛斯·卡莱罗 三 戴安娜·科斯塔 三 列奥尼德·尤尔埃维奇·德维亚特金 三 大卫·费尔南德斯·杜克 三 亚历山德罗·佐丹尼 三 Joseph Yehuda Halpern 三 艾伦·P·黑森（Allen P.Hazen）。 三 迈克尔·卡明斯基 三 安德烈亚斯·卡普斯纳 三 罗马库兹涅茨 三 洛佩斯，桑德拉·M。 三 马丁斯（Manuel António Martins） 三 安德烈亚·马西尼 三 何塞·梅恩德斯。 三 萨托鲁·尼基 三 奥兰德利，尤金尼奥 三 弗朗西斯·杰弗里·佩利蒂埃 三 牧师，格雷厄姆 三 加布里埃尔·普奇尼 三 潘奇阿，维特 三 拉米雷斯-卡马拉，埃利桑格拉 三 伊戈尔·塞德拉尔 三 斯坦尼斯拉夫·斯佩兰斯基。 三 肖恩·斯坦德弗 三 安德鲁·特德 三 埃斯科·图伦 三 汉斯·皮特 三 维尼马，伊德 三 巴托斯·威考斯基 2 恩里克·安图内斯 2 谢尔盖·阿特莫夫 2 吉列尔莫·巴迪亚 2 Aleksander Aleksandrovich，Belikov 2 亚历克斯·贝里科夫 2 何塞·米盖尔·布兰科 2 卡罗来纳州布拉西奥 2 约瑟夫·布杜 2 莱昂纳多·曼纽尔·卡布勒 2 马西米利亚诺·卡拉拉 2 塞拉尼、塞尔吉奥·阿图罗 2 伊曼纽尔·切姆拉 2 蝉蜕、阿加塔 2 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 2 布鲁诺·达雷 2 迈克尔·德 2 马丁·迪盖兹 2 伊戈尔·杜文 2 迪迪埃·杜布瓦 2 罗伊·戴克霍夫 2 罗纳德·费金 2 大卫·法齐奥 2 适合，Melvin Chris 2 法语、罗汉语 2 Dov M.加巴伊。 2 吉多·格拉迪 …和313多位作者 全部的 前5名53篇连载文章中引用 96 Studia Logica公司 57 哲学逻辑杂志 32 合成 27 逻辑与逻辑哲学 25 符号逻辑述评 21 泛逻辑 20 逻辑、语言与信息杂志 19 应用非经典逻辑杂志 14 逻辑科公报 12 圣母院形式逻辑杂志 12 应用逻辑杂志 10 纯逻辑与应用逻辑年鉴 8 数学逻辑季刊（MLQ） 8 Logicheskie Issledovaniya逻辑 5 人工智能 5 符号逻辑杂志 5 理论计算机科学 5 自动推理杂志 5 国际近似推理杂志 4 模糊集与系统 4 逻辑历史与哲学 4 数学逻辑档案 4 埃尔肯特尼斯 4 程序设计中的逻辑和代数方法杂志 三 代数与逻辑 三 代数普遍性 三 托波伊 三 ACM计算逻辑汇刊 2 新一代计算 2 符号逻辑公报 2 逻辑程序设计理论与实践 2 多值逻辑与软计算杂志 1 国际理论物理杂志 1 立陶宛数学杂志 1 俄罗斯数学调查 1 信息科学 1 经济理论杂志 1 纯粹与应用代数杂志 1 美国数学学会会刊 1 数学社会科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 计算系统理论 1 软计算 1 科学基础 1 国际不确定性、模糊性和基于知识的系统杂志 1 智能与模糊系统杂志 1 计算机科学中的逻辑方法 1 游戏 1 欧洲数学杂志 1 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 ChelyabinskiĭFiziko-Matematicheskiĭ·朱纳尔 全部的 前5名13个领域引用 501 数学逻辑和基础（03-XX） 68 计算机科学（68至XX） 16 阶、格、有序代数结构（06-XX） 13 历史和传记（01-XX） 8 总体主题；集合（00-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 一般代数系统（08-XX） 2 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文