×

找到113份文件（结果1-100）

最新的 引文 关联
大森，Hitoshi；海因里希·瓦辛

连接逻辑C的扩展。 （英语） Zbl 07585730号

Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。503-522（2020年）。
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Omori}和\textit{H.Wansing}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。503--522（2020；Zbl 07585730）
海因里希·瓦辛；丹尼尔·斯科特

论非及物“同一性”。 （英语） Zbl 1469.03083号

巴什肯特（Baškent，Can）（编辑）等，格雷厄姆·普里斯特（Graham Priest），关于双重性和超一致性。查姆：斯普林格。Outst公司。控制日志。18535-553（2019年）。
MSC公司：03B53号 03B16号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}和\textit{D.Skurt}，Outst。控制日志。18535-553（2019年；Zbl 1469.03083）
全文： 内政部
大森，Hitoshi；海因里希·瓦辛

邀请参加关于Belnap-Dunn逻辑的新论文。 （英语） Zbl 1469.03064号

Omori，Hitoshi（编辑）等人，关于Belnap-Dunn逻辑的新论文。查姆：斯普林格。合成。伦敦银行同业拆借利率。418, 1-9 (2019).
MSC公司：03B50号 03B45号 03B47号 03B53号 03-03 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Omori}和\textit{H.Wansing}，合成。伦敦银行同业拆借利率。418，1-9（2019年；Zbl 1469.03064）
全文： 内政部
大森，Hitoshi（编辑）；海因里希·瓦辛（编辑）

关于Belnap-Dunn逻辑的新论文。 （英语） Zbl 1433.03008号

合成库418.查姆：施普林格（ISBN 978-3-030-31135-3/hbk；978-3-0030-31136-0/电子书）。viii，第324页。(2019).
MSC公司：03-06 03B50号 03B53号 03B45号 03B47号 03A05号 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Omori}（编辑）和\textit{H.Wansing}（主编），关于Belnap-Dunn逻辑的新论文。查姆：施普林格（2019；Zbl 1433.03008）
全文： 内政部
海因里希·瓦辛；谢尔盖·奥丁佐夫。

关于次协调逻辑的方法论。 （英语） Zbl 1429.03109号

Andreas，Holger（编辑）等人，《科学和数学中次协调推理的逻辑研究》。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。45, 175-204 (2016).
MSC公司：03B53号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}和\textit{S.P.Odintsov}，趋势日志。螺柱日志。伦敦银行同业拆借利率。45175-204（2016年；Zbl 1429.03109）
全文： 内政部
诺里希罗·卡米德；海因里希·瓦辛

N4-次协调逻辑的证明理论。 （英语） Zbl 1436.03003号

逻辑研究（伦敦）54.伦敦：学院出版物（ISBN 978-1-84890-167-4/pbk）。x、 401页。(2015).
审核人：安德烈·因德泽扎克（Andrzej Indrzejczak）
MSC公司：03-02 03B53号 03财年03 05年3月 03B20型 03B47号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{N.Kamide}和\textit{H.Wansing}，N4-次协调逻辑的证明理论。伦敦：学院出版物（2015；Zbl 1436.03003）
罗伯托·齐尼（编辑）；海因里希·万兴（编辑）；卡罗琳·威尔科曼（编辑）

哲学逻辑的最新趋势。2012年6月3日至5日在德国波鸿举行的“逻辑趋势十一”会议的部分贡献。 （英语） Zbl 1290.03003号

逻辑趋势——Studia Logica图书馆41.查姆：施普林格（ISBN 978-3-319-06079-8/hbk；978-3-3169-06080-4/电子书）。viii，209页。(2014).
MSC公司：03-06 00B25型 03A05号 03B42号 03B45号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ciuni}（编辑）等人，《哲学逻辑的最新趋势》。2012年6月3日至5日，德国波鸿，“逻辑十一的趋势”会议的部分贡献。查姆：施普林格（2014；Zbl 1290.03003）
全文： 内政部
诺里希罗·卡米德；海因里希·瓦辛

基于正S4的连接模态逻辑。 （英语） Zbl 1261.03087号

Béziau，Jean-Yves（编辑）等人，《没有边界的逻辑》。在沃尔特·亚历山大·卡尼埃利60岁生日之际，为他庆祝节日。伦敦：学院出版物（ISBN 978-1-84890-055-4/pbk）。《致敬》17，389-409（2011）。
MSC公司：03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛N.Kamide｝和\textit｛H.Wansing｝，《致敬》17389-409（2011；兹bl 1261.03087）
卡罗琳，塞姆林；海因里希·瓦辛

关于信念修正的推理。 （英语） 兹比尔1253.03037

Erik J.奥尔森（编辑）等人，《信念修正与科学哲学》。柏林：施普林格出版社（ISBN 978-90-481-9608-1/hbk；978-90-981-9609-8/电子书）。《逻辑、认识论与科学的统一》21，303-328（2011）。
审核人：David Makinson（伦敦）
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{C.Semmling}和\textit{H.Wansing}，日志。认识论。统一科学。21303--328（2011；Zbl 1253.03037）
全文： 内政部
雅罗斯拉夫·什兰科；海因里希·瓦辛

真理与谬误。对广义逻辑值的探讨。 （英语） Zbl 1251.03002号

逻辑趋势——Studia Logica Library 36。柏林：施普林格出版社（ISBN 978-94-007-0906-5/hbk；978-94-007-0907-2/ebook）。xiii，第246页。(2011).
审核人：Albert Hoogewijs（根特）
MSC公司：03-02 03A05号 03B50号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sharmko}和\textit{H.Wansing}，真理与谬误。对广义逻辑值的探讨。柏林：施普林格出版社（2011；Zbl 1251.03002）
全文： 内政部
海因里希·瓦辛

证明、反驳及其双重性。 （英语） Zbl 1254.03065号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。483-505 (2010).
MSC公司：03B60号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。483--505（2010年；Zbl 1254.03065）
卡罗琳，塞姆林；海因里希·瓦辛

一个健全完整的bdi-sit逻辑公理系统。 （英语） Zbl 1275.03085号

Peliš，Michal（编辑），《逻辑年鉴》2008。2008年6月16日至20日，捷克共和国赫尼茨修道院罗吉卡年度国际研讨会论文集。伦敦：学院出版物（ISBN 978-1-904987-46-8/pbk）。193-210 (2009).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Semmling｝和\textit｛H.Wansing｝，载于《逻辑年鉴2008》。2008年6月16日至20日，捷克共和国赫尼茨修道院罗吉卡年度国际研讨会论文集。伦敦：学院出版物。193-210（2009年；Zbl 1275.03085）
海因里希·万兴；雅罗斯拉夫·什兰科

和谐多值命题逻辑与计算机网络逻辑。 （英语） Zbl 1229.03025号

Dégremont，Cédric（编辑）等人，《对话、逻辑和其他奇怪的事情》。纪念沙希德·拉赫曼的文章。伦敦：学院出版物（ISBN 978-1-904987-13-0/pbk）。《致敬》第7485-509页（2008年）。
审核人：Albert Hoogewijs（根特）
MSC公司：03B50号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}和\textit{Y.Shramko}，《致敬》7，485--509（2008；Zbl 1229.03025）
海因里希·瓦辛

多智能体审议状态逻辑表。 （英语） Zbl 1148.03008号

Governatori，Guido（编辑）等人，《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物（ISBN 1-904987-7-6/pbk）。503-520 (2006).
审核人：David Makinson（伦敦）
MSC公司：03B42号 03B45号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，in：模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议（AiML 2006）的论文选集。伦敦：学院出版物。503--520（2006；Zbl 1148.03008）
Wansing，H。；亚利桑那州Shramko。五、。

计算机网络逻辑。 （俄语。英文摘要） Zbl 1102.03025号

Karpenko，A.S.（编辑），《逻辑调查》。12.莫斯科：瑙卡（ISBN 5-02-034966-6/hbk）。119-145 (2005).
审核人：弗拉基米尔·科门丹茨基（科克）
MSC公司：03B50号 03B70号 03G10年 68米10
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}和\textit{Ya.V.Shramko}，in：Logicheskie issledovaniya。12.莫斯科：瑙卡。119——145（2005；Zbl 1102.03025）
海因里希·瓦辛

关于动作类型的否定：建设性并发PDL。 （英语） Zbl 1102.03033号

Hájek，Petr（编辑）等人，《科学的逻辑、方法论和哲学》。第十二届国际会议记录，西班牙奥维耶多，2003年8月。伦敦：国王学院出版物（ISBN 1-904987-21-4/pbk）。207-225（2005年）。
审核人：内库莱·库特阿努（Iaşi）
MSC公司：03B60号 68T27型 03B70号 03B45号 68问题85 03B42号 03B53号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，in：逻辑、方法论和科学哲学。第十二届国际会议记录，西班牙奥维耶多，2003年8月。伦敦：国王学院出版。207——225（2005；Zbl 1102.03033）
海因里希·瓦辛

连接模态逻辑。 （英语） Zbl 1107.03017号

Schmidt，Renate（编辑）等人，《模态逻辑的进展》。第5卷。2004年9月9日至11日，英国曼彻斯特，第五届会议论文选集（AiML 2004）。伦敦：国王学院出版社（ISBN 1-904987-2-2/pbk）。367-383 (2005).
审核人：路易斯·高布尔（塞勒姆）
MSC公司：03B45号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，in：模态逻辑的进展。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。伦敦：国王学院出版。367--383（2005；Zbl 1107.03017）
雷娜特·施密特（编辑）；伊恩·普拉特·哈特曼（编辑）；马克·雷诺兹（编辑）；海因里希·瓦辛（编辑）

模态逻辑的进展。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。 （英语） Zbl 1083.03008号

伦敦：国王学院出版社（ISBN 1-904987-2-2/pbk）。vii，389页。(2005).
MSC公司：03-06 03B45号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Schmidt}（编辑）等人，《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。伦敦：国王学院出版物（2005；Zbl 1083.03008）
Odintsov，S.P。；Wansing，H。

构造谓词逻辑和构造模态逻辑。形式对偶与语义对偶。 （英语） Zbl 1096.03018号

Hendricks，Vincent（编辑）等人，重温了一阶逻辑。FOL75-75年一阶逻辑会议论文集，德国柏林洪堡大学，2003年9月18-21日。柏林：Logos Verlag（ISBN 3-8325-0475-3/pbk）。《逻辑哲学》12，269-286（2004）。
审核人：G.E.Mints（斯坦福）
MSC公司：03B45号 03B10号机组 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{S.P.Odintsov}和\textit{H.Wansing}，Logische Philos。12、269--286（2004；Zbl 1096.03018）
海因里希·瓦辛

理论选择的行动理论方面。 （英语） Zbl 1110.03006号

Rahman，Shahid（编辑）等人，《逻辑、认识论和科学的统一》。柏林：施普林格出版社（ISBN 1-4020-2807-5/hbk；1-4020-2808-3/电子书）。《逻辑、认识论和科学的统一》1，419-435（2004）。
审核人：David Makinson（伦敦）
MSC公司：03A05号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，日志。认识论。统一科学。1419--435（2004年；Zbl 1110.03006）
Odintsov，Serguei P。；海因里希·瓦辛

不一致容忍描述逻辑：动机和基本系统。 （英语） Zbl 1048.03021号

亨德里克斯，文森特·F（编辑）等人，《逻辑趋势》。Studia Logica 50年。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1601-8/hbk）。趋势日志。螺柱日志。伦敦银行同业拆借利率。21, 301-335 (2003).
审核人：安娜·戈莫利安斯卡（比亚莱斯托克）
MSC公司：03B53号
PDF格式BibTeX公司 XML格式引用
\textit{S.P.Odintsov}和\textit{H.Wansing}，趋势日志。螺柱日志。伦敦银行同业拆借利率。21301-335（2003；Zbl 1048.03021）
马尔滕，德里伊克；海因里希·瓦辛

古希腊模态逻辑中的证明和表达。 （英语） Zbl 1111.03312号

Jacquette，Dale（编辑），哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社（ISBN 0-631-21671-5/hbk）。布莱克韦尔同伴菲洛斯（Blackwell Companions Philos）。22, 422-441 (2002).
MSC公司：03A05号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛M.de Rijke｝和\textit｛H.Wansing｝，在：哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社。422--441（2002年；Zbl 1111.03312）
弗兰克·沃尔特（编辑）；海因里希·瓦辛（编辑）；马尔滕，德里伊克（编辑）；Zakharyaschev，M。（编辑）

模态逻辑的进展。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4日至7日。 （英语） Zbl 1004.00016号

新加坡：世界科学。viii，第415页（2002年）。
MSC公司：00B25型 03-06 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Wolter}（编辑）等人，《模态逻辑的进展》。第3卷。第三届AiML研讨会会议记录，德国莱比锡，2000年10月4-7日。新加坡：世界科学（2002；Zbl 1004.00016）
海因里希·瓦辛

义务、权限和历史依赖性。 （英语） Zbl 1005.03027号

Wansing，Heinrich（编辑），《非经典逻辑论文》。包括1999年10月5日至6日在德国康斯坦茨举行的研讨会上发表的论文。新加坡：世界科学出版社。高级日志。1, 247-258 (2001).
审核人：大卫·梅金森（Ville d'Avray）
MSC公司：03B45号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，高级日志。1247--258（2001；Zbl 1005.03027）
迈克尔·扎克哈里亚舍夫；克里斯特·塞格伯格；马尔滕，德里伊克；海因里希·瓦辛

现代模态逻辑的起源。 （英语） Zbl 0994.03010号

Zakharyaschev，Michael（编辑）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日在瑞典乌普萨拉举行的第二次国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。119，xi-xxviii（2001）。
MSC公司：03B45号 03-03 03A05号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Zakharyaschev}等人，in：模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物。xi-xxviii（2001；Zbl 0994.03010）
迈克尔·扎克哈里亚舍夫（编辑）；克里斯特·塞格伯格（编辑）；马尔滕，德里伊克（编辑）；海因里希·万兴（编辑）

模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集。 （英语） Zbl 0979.00027号

CSLI课堂讲稿. 119. 加利福尼亚州斯坦福：CSLI出版物。xxviii，457页（2001年）。
MSC公司：00B25型 03-06 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Zakharyaschev}（ed.）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物（2001；Zbl 0979.00027）
海因里希·瓦辛

许多模态逻辑和时态逻辑的函数完备性的证明理论证明。 （英语） Zbl 0867.03018号

Wansing，Heinrich（编辑），模态逻辑的证明理论。《研讨会论文集》，德国汉堡，1993年11月19日至20日。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。2, 123-136 (1996).
审核人：G.Mints（斯坦福）
MSC公司：03财年03 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wansing}，应用程序。日志。序列号。2123--136（1996；Zbl 0867.03018）
Dov M.加巴伊。；海因里希·瓦辛

什么是系统中的否定？结构化结果关系中的否定。 （英语） Zbl 0926.03033号

AndréFuhrmann等人，《逻辑、行动和信息》。哲学和人工智能中的逻辑论文。基于1992年秋季在德国康斯坦茨举行的一次会议。柏林：Walter de Gruyter。328-350（1996年）。
审核人：J.Mackenzie（悉尼）
MSC公司：03B60号 68T27型 03B22号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}和\textit{H.Wansing}，in：逻辑、动作和信息。哲学和人工智能中的逻辑论文。基于1992年秋季在德国康斯坦茨举行的一次会议。柏林：Walter de Gruyter。328--350（1996年；Zbl 0926.03033）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

软件