诺里希罗·卡米德 次一致序列线性时间逻辑:在时间推理中结合了次一致性和顺序性。 (英语) 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) 全文: 内政部