诺里希罗·卡米德 支持拒绝的Gentzen-style计算,用于命题非自由线性时间时序逻辑。 (英文) Zbl 07767288号 螺柱日志。 111,第6期,979-1014(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。111,编号6,979--1014(2023;Zbl 07767288) 全文: 内政部
诺里希罗·卡米德 可决定的时间和顺序相关逻辑。 (英文) Zbl 1444.03081号 J.日志。计算。 28,第2期,403-432(2018).MSC公司:03B47号 03B44号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.日志。计算。28,第2号,403--432(2018;Zbl 1444.03081) 全文: 内政部
诺里希罗·卡米德 次一致序列线性时间逻辑:在时间推理中结合了次一致性和顺序性。 (英文) Zbl 1420.03033号 代表数学。逻辑 52, 3-44 (2017).MSC公司:03B44号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},众议员数学。逻辑52,3--44(2017;Zbl 1420.03033) 全文: 内政部
诺里希罗·卡米德 LTL某些变体的插值定理。 (英文) Zbl 1436.03123号 代表数学。逻辑 50, 3-30 (2015).MSC公司:03B44号 03B53号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},众议员数学。逻辑50,3-30(2015;Zbl 1436.03123) 全文: 内政部
诺里希罗·卡米德 动态拓扑和线性时间逻辑中的删减和完备性。 (英文) 兹比尔1260.03032 日志。分析。,努夫。Sér。 54、第215、379-394号(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。分析。,努夫。Sér。54、第215、379--394号(2011;Zbl 1260.03032)
海因里希·瓦辛;诺里希罗·卡米德 同步线性时间时序逻辑。 (英文) Zbl 1271.03026号 螺柱日志。 99,编号1-3,365-388(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{N.Kamide},Stud.Log。99,编号1--3,365-388(2011;Zbl 1271.03026) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 一种准一致的线性时间时序逻辑。 (英文) Zbl 1228.03012号 芬达姆。通知。 106,第1期,1-23页(2011年). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B53号 03B44号 03B62号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},Fundam。通知。106,编号1,1--23(2011;Zbl 1228.03012) 全文: 内政部
诺里希罗·卡米德 线性时间形式主义的阶段语义。 (英文) Zbl 1216.03034号 日志。J.IGPL公司 第121-143号第19页(2011年).MSC公司:03B44号 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。J.IGPL 19,第1期,121--143(2011;Zbl 1216.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) 全文: 内政部