海因里希·瓦辛;诺里希罗·卡米德 直觉主义三格逻辑。 (英语) Zbl 1205.03034号 J.日志。计算。 20,第6期,1201-1229(2010).MSC公司:03B50号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{N.Kamide},J.Log。计算。20,第6号,1201--1229(2010;Zbl 1205.03034) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 (英语) Zbl 1207.03022号 J.应用。日志。 8,第1号,33-61(2010). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},J.Appl。日志。8,编号1,33--61(2010;Zbl 1207.03022) 全文: 内政部
海因里希·瓦辛 正规模态命题逻辑的序贯计算。 (英语) Zbl 0799.03014号 J.日志。计算。 第4期,第2期,125-142页(1994年). 审核人:G.Mints(斯坦福) MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},J.Log。计算。4,编号2,125--142(1994;Zbl 0799.03014) 全文: 内政部
海因里希·瓦辛 推理知识和信仰的一般可能世界框架。 (英语) Zbl 0744.03028号 螺柱日志。 49,No.4,523-539(1990). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B60号 68T27型 68立方英尺 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},螺柱日志。49,No.4,523--539(1990;Zbl 0744.03028) 全文: 内政部