范伯克利,基斯;蒂姆·S·里昂。;马蒂奥·帕斯库奇 工具性判断的逻辑分析:指在经验和期望的背景下的目的关系。 (英语) Zbl 07753837号 J.菲洛斯。日志。 52,第5期,1475-1516(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.van Berkel}等人,J.Philos。日志。52,编号5,1475--1516(2023;Zbl 07753837) 全文: 内政部 arXiv公司 OA许可证
卡勒布·卡姆鲁德;兰帕·多桑杰 连续可达性模态逻辑。 (英语) Zbl 1518.03004号 J.菲洛斯。日志。 52,第1期,221-266(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}和\textit{R.Dosanjh},J.Philos。日志。52,编号1,221--266(2023;Zbl 1518.03004) 全文: 内政部
van Lee,Hanna S。;Rasmus K·伦茨维格。;苏珊·范威克 动态认知逻辑的内涵协议。 (英语) Zbl 1457.03036号 J.菲洛斯。日志。 48,第6期,1077-1118(2019).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.S.van Lee}等人,J.Philos。日志。48,第6号,1077--1118(2019;Zbl 1457.03036) 全文: 内政部
阿尔贝托·加托 具有不可区分关系的分支时间逻辑的公理化。 (英语) Zbl 1392.03027号 J.菲洛斯。日志。 45,第2期,155-182(2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gatto},J.Philos。日志。45,第2号,155--182(2016;Zbl 1392.03027) 全文: 内政部
克雷斯韦尔,M.J。 “now”和“then”的谓词度量时态逻辑。 (英语) Zbl 1279.03038号 J.菲洛斯。日志。 42,第1期,1-24(2013). 审核人:安德烈亚斯·赫齐格(图卢兹) MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.克雷斯韦尔},J.菲洛斯。日志。42,编号1,1--24(2013;Zbl 1279.03038) 全文: 内政部
贾科莫·博纳诺 分支时间的信念变化:AGM一致性和迭代修订。 (英语) Zbl 1247.03023号 J.菲洛斯。日志。 第41期,编号1201-236(2012). 审核人:David Makinson(伦敦) MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonanno},J.Philos。日志。41,第1号,201--236(2012;Zbl 1247.03023) 全文: 内政部 链接
大卫·费尔南德斯·杜克 在最小系统上解释的动态拓扑逻辑。 (英语) Zbl 1243.03027号 J.菲洛斯。日志。 40,第6期,767-804(2011). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B44号 第37页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},J.Philos。日志。40,编号6677-804(2011年;兹bl 1243.03027) 全文: 内政部
费尔南多·蒂姆 构建情境和时间。 (英语) Zbl 1231.03030号 J.菲洛斯。日志。 40,第3期,371-396(2011).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{T.费尔南多},J.菲洛斯。日志。40,第3号,371--396(2011;Zbl 1231.03030) 全文: 内政部
萨拉·尤克曼(Sara L.Uckelman)。 逻辑和1277年的谴责。 (英语) Zbl 1185.01020号 J.菲洛斯。日志。 39,第2期,201-227(2010).MSC公司:01A35型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Uckelman},J.Philos(费罗斯)。日志。39,第2号,201--227(2010;Zbl 1185.01020) 全文: 内政部
克雷斯韦尔,M.J。 线性时态逻辑中的时间指称。 (英语) Zbl 1202.03032号 J.菲洛斯。日志。 39,第2期,173-200(2010). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.克雷斯韦尔},J.菲洛斯。日志。39,第2号,173--200(2010;Zbl 1202.03032) 全文: 内政部
约翰·范·本特姆;杰尔·格布兰迪;丰弘Hoshi;埃里克·帕奎特 合并用于交互的框架。 (英语) Zbl 1185.03019号 J.菲洛斯。日志。 38,第5期,491-526(2009). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B42号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,J.Philos。日志。38,第5号,491--526(2009;Zbl 1185.03019) 全文: 内政部 链接
乌尔里希·迈耶 时态逻辑中的“现在”和“然后”。 (英语) Zbl 1175.03006号 J.菲洛斯。日志。 38,第2期,229-247(2009).MSC公司:03A05号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{U.Meyer},J.Philos。日志。38,第2号,229--247(2009;Zbl 1175.03006) 全文: 内政部
马克斯·弗伦德(Max A.Freund)。 一种二维时态分类逻辑。 (英语) Zbl 1126.03022号 J.菲洛斯。日志。 36,第5期,571-598(2007). 审核人:Heinrich Wansing(德累斯顿) MSC公司:03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Freund},J.Philos。日志。36,第5号,571--598(2007;Zbl 1126.03022) 全文: 内政部
克里斯·里德;蒂莫西·诺曼。 汉布林行为状态语义的形式化特征。 (英语) 邮编1125.03006 J.菲洛斯。日志。 36,第4期,415-448(2007). 审核人:Pavel Materna(普拉哈) MSC公司:03A05号 03B42号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Reed}和textit{T.J.Norman},J.Philos。日志。36,编号415-448(2007年;Zbl 1125.03006) 全文: 内政部
斯特凡·沃尔夫 命题\(\text Q\)-逻辑。 (英语) 兹比尔1011.03010 J.菲洛斯。日志。 31,第5期,387-414(2002).MSC公司:03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wölfl},J.Philos。日志。31,第5号,387--414(2002;Zbl 1011.03010) 全文: 内政部
莱昂·霍斯顿;汉内斯·莱特盖布 没有未来。 (英语) Zbl 0989.03008号 J.菲洛斯。日志。 30,第3期,259-265(2001).MSC公司:03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Horsten}和\textit{H.Leitgeb},J.Philos。日志。30,第3号,259--265(2001;Zbl 0989.03008) 全文: 内政部
斯特凡·沃尔夫 谓词逻辑中时态和情态的组合。 (英语) Zbl 0933.03014号 J.菲洛斯。日志。 28,第4期,371-398(1999).MSC公司:03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wölfl},J.Philos。日志。28,第4号,371--398(1999;Zbl 0933.03014) 全文: 内政部
奥奎斯特,伦纳德 建立在二维情态时态逻辑基础上的历史必然性逻辑。 (英语) 兹伯利0933.03015 J.菲洛斯。日志。 28,第4期,329-369(1999); 勘误表同上29,第5号,541-542(2000年)。MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.奥奎斯特},J.菲洛斯。日志。28,第4号,329--369(1999;Zbl 0933.03015) 全文: 内政部
迪马约,玛丽亚·康塞塔;阿尔贝托·扎纳多 有效性的无Gabbay规则公理化。 (英语) Zbl 0920.03032号 J.菲洛斯。日志。 27,第5期,435-487(1998).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Di Maio}和\textit{A.Zanardo},J.Philos。日志。27,第5号,435--487(1998;Zbl 0920.03032) 全文: 内政部
伊恩·霍德金森;安德烈斯·西蒙 变量属性比H维属性强。 (英语) Zbl 0976.03017号 J.菲洛斯。日志。 26,第1期,81-101(1997).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}和textit{A.西蒙},J.菲洛斯。日志。26,编号1,81--101(1997;Zbl 0976.03017) 全文: 内政部
奥奎斯特,伦纳德 具有无限推理规则和系统框架常数的离散时态逻辑:Hilbert式公理化。 (英语) Zbl 0858.03020号 J.菲洛斯。日志。 25,第1号,45-100(1996). 审核人:L.A.Chagrova(特维尔) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Åqvist},J.Philos。日志。25,第1号,45--100(1996;Zbl 0858.03020) 全文: 内政部
马克·雷诺兹 周期时间中(F)和(P)的公理化和可判定性。 (英语) Zbl 0796.03030号 J.菲洛斯。日志。 23,第2期,197-224(1994).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},J.Philos。日志。23,第2号,197--224(1994;Zbl 0796.03030) 全文: 内政部
穆林达尔·辛格。;尼古拉斯·M·阿舍。 意图和信念的逻辑。 (英语) 兹比尔0808.03010 J.菲洛斯。日志。 22,第5期,513-544(1993). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B60号 68T27型 68立方英尺 03B80号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Singh}和\textit{N.M.Asher},J.Philos。日志。22,第5号,513--544(1993;Zbl 0808.03010) 全文: 内政部
维尼马,伊德 多米诺骨牌的时态逻辑注释。 (英语) Zbl 0785.03007号 J.菲洛斯。日志。 21,第2期,173-182(1992). 审核人:V.V.Rybakov(克拉斯诺亚尔斯克) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},J.Philos。日志。21,第2号,173--182(1992;Zbl 0785.03007) 全文: 内政部
S.K.托马森。 从事件中自由构建时间。 (英语) 兹比尔0674.03001 J.菲洛斯。逻辑 18,No.1,43-67(1989). 审核人:B.M.Schein先生 MSC公司:03A05号 06年05月 18B99型 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Thomason},J.Philos。日志。18,编号1,43--67(1989;Zbl 0674.03001) 全文: 内政部
约夫·肖姆 关于丰富时域的有效推理。 (英语) Zbl 0662.03014号 J.菲洛斯。逻辑 17,第4期,443-474(1988). 审核人:D.克里斯蒂 MSC公司:03B60号 68T20型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shoham},J.Philos。日志。17,第4号,443--474(1988;Zbl 0662.03014) 全文: 内政部