诺里希罗·卡米德 作为模态运算符的次一致双重否定。 (英语) Zbl 1375.03029号 数学。日志。问:。 62,第6期,552-562(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B53号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问题62,第60552-562号(2016年;兹bl 1375.03029) 全文: 内政部
格雷西拉·多梅内克;赫克托·弗雷特斯;克里斯蒂安·德·隆德 模态型正交模逻辑。 (英语) Zbl 1172.03033号 数学。日志。问:。 55,第3号,307-319(2009). 审核人:米尔科·纳瓦拉(普拉哈) MSC公司:03G12号机组 03B45号 06第15页 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Domenech}等人,《数学》。日志。企55、3号、307--319(2009;Zbl 1172.03033) 全文: 内政部 arXiv公司 链接
诺里希罗·卡米德 具有位置解释的空间模态逻辑。 (英语) Zbl 1079.03010号 数学。日志。问:。 51,第4号,331-341(2005).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问51,第4号,331--341(2005;Zbl 1079.03010) 全文: 内政部
佛朗哥·蒙塔格纳;洛伦佐·萨切蒂 “多值逻辑的Kripke风格语义”的勘误表。 (英语) Zbl 1039.03013号 数学。日志。问:。 50,第1期,104-107(2004).MSC公司:03B50号 03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{L.Sacchetti},数学。日志。企50,第1号,第104-107条(2004;Zbl 1039.03013) 全文: 内政部
佛朗哥·蒙塔格纳;洛伦佐·萨切蒂 多值逻辑的克里普克式语义。 (英语) Zbl 1035.03010号 数学。日志。问:。 49,第6期,629-641(2003).MSC公司:03B50号 03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{L.Sacchetti},数学。日志。企49、6号、629--641(2003;Zbl 1035.03010) 全文: 内政部
肯塔罗州菊池 双上下文序列演算和严格蕴涵。 (英语) Zbl 0988.03085号 数学。日志。问:。 第187-92号第48页(2002年).MSC公司:05年3月 03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{K.菊池},数学。日志。企48、1号、87-92(2002;Zbl 0988.03085) 全文: 内政部
宫崎骏 正模逻辑的克里普克式语义。 (英语) Zbl 0988.03095号 数学。日志。问:。 47,第3期,341-362(2001). 审核人:约瑟夫·特卡德莱克(普拉哈) MSC公司:03G12号机组 06第15页 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Miyazaki},数学。日志。企47、3号、341--362(2001;Zbl 0988.03095) 全文: 内政部
阿比尔·努尔 基于有限有序集的逻辑系统的Kripke类型语义。(Sémantique de type Kripke d'un système logique basésur un ensem ordonéfini) (法语) Zbl 0960.03016号 数学。日志。问:。 46,第3期,417-432(2000).MSC公司:03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nour},数学。日志。企46、3号、417--432(2000;Zbl 0960.03016) 全文: 内政部
穆罕默德·阿德谢尔;维姆·鲁登堡 基本命题演算。一、。 (英语) Zbl 0912.03005号 数学。日志。问:。 44,第317-343号(1998年). 审核人:博里奇奇(贝尔格莱德) MSC公司:03B20型 03B55型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ardeshir}和\textit{W.Ruitenburg},数学。日志。问44,第3号,317--343(1998;Zbl 0912.03005) 全文: 内政部
长冈、川崎;艾科·伊索达 不完整性导致Kripke捆绑语义。 (英语) Zbl 0886.03013号 数学。日志。问:。 43,第4期,485-498(1997).MSC公司:03B45号 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nagaoka}和\textit{E.Isoda},数学。日志。问43,第4号,485--498(1997;Zbl 0886.03013) 全文: 内政部
圭多·贝尔托洛蒂;皮耶朗基罗·米利奥利;丹妮拉·西尔维斯特里尼 具有析取性质的极大中间命题逻辑的广泛族。 (英语) Zbl 0871.03017号 数学。日志。问:。 42,第4期,501-536(1996). 审核人:L.A.Chagrova(特维尔) MSC公司:03B55型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bertolotti}等人,《数学》。日志。企42,第4号,501--536(1996;Zbl 0871.03017) 全文: 内政部
丹尼尔·齐兹戈夫斯基 直觉逻辑克里普克模型中的常数。 (英语) Zbl 0837.03005号 数学。日志。问:。 41,第4期,431-441(1995).MSC公司:03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{D.Dzierzgowski},数学。日志。问41,第4号,431--441(1995;Zbl 0837.03005) 全文: 内政部
库尔特·恩格塞 拓扑逻辑和模态逻辑之间的一些联系。 (英语) Zbl 0827.03007号 数学。日志。问:。 41,第1号,49-64(1995). 审核人:O.Sonobe(福洛妮卡) MSC公司:03B45号 03C80号 03C30号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{K.Engesser},数学。日志。问41,第1号,49--64(1995;Zbl 0827.03007) 全文: 内政部