诺里希罗·卡米德 包括S4和S5在内的正常模态逻辑的伪造软件计算和语义。 (英语) Zbl 07726395号 J.逻辑语言信息。 32,第3号,395-440(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.32,No.3,395--440(2023年;Zbl 07726395) 全文: 内政部
莱克迈耶,格哈德 情境演算:模态逻辑的一个例子。 (英语) Zbl 1227.03022号 J.逻辑语言信息。 19,第4期,431-450(2010). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lakemeyer},J.Logic Lang.Inf.19,No.4,431--450(2010;Zbl 1227.03022) 全文: 内政部
不,约翰 直觉主义逻辑中的参考和观点。 (英语) Zbl 1160.03300号 J.逻辑语言信息。 16,第1期,91-115(2007).MSC公司:03B20型 第03页第55页 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nolt},J.Logic Lang.Inf.16,No.1,91-115(2007;Zbl 1160.03300) 全文: 内政部
诺里希罗·卡米德 模态子结构逻辑的克里普克语义。 (英语) Zbl 1017.03011号 J.逻辑语言信息。 11,第4期,453-470(2002).MSC公司:03B47号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.11,No.4,453--470(2002;Zbl 1017.03011) 全文: 内政部
杰尔·格布兰迪;威廉·格罗内维尔德 关于信息变更的推理。 (英语) Zbl 0873.03029号 J.逻辑语言信息。 6,第2期,147-169(1997).MSC公司:03B60号 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gerbrandy}和\textit{W.Groeneveld},J.Logic Lang.Inf.6,No.2,147--169(1997;Zbl 0873.03029) 全文: 内政部
安德烈卡,哈伊纳尔;米库拉斯(Mikulás,Szabolcs) 兰贝克演算及其关系语义:完全性和不完全性。 (英语) Zbl 0808.03003号 J.逻辑语言信息。 3,第1期,第1-37页(1994年).MSC公司:03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{H.Andréka}和\textit{S.MikuláS},《逻辑语言》杂志,第3期,第1期,第1-37期(1994年;Zbl 0808.03003) 全文: 内政部