马泰奥·帕斯库奇;克劳迪奥·皮齐。 永久性与终止。 (英语) Zbl 07686245号 日志。分析。,努夫。Sér。 65,编号257,57-78(2022).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Pascucci}和\textit{C.E.A.Pizzi},Log。分析。,努夫。Sér。65,编号257,57--78(2022;Zbl 07686245) 全文: 内政部
罗伯托·齐尼;埃米利亚诺·洛里尼 比较时态STIT逻辑的语义。 (英语) 兹比尔1436.03121 日志。分析。,努夫。Sér。 61,编号243,299-339(2018).MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ciuni}和\textit{E.Lorini},日志。分析。,努夫。Sér。61,No.243,299--339(2018;Zbl 1436.03121) 全文: 内政部
科杜拉,托泽卡;约翰·泽尔马克 改变方式的逻辑。 (英语) 兹比尔1371.03021 日志。分析。,努夫。Sér。 58,编号232509-525(2015).MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świętorzecka}和\textit{J.Czermak},日志。分析。,努夫。Sér。58、第232、509--525号(2015;Zbl 1371.03021) 全文: 内政部
安德烈亚·伊科纳 Ockhamism和量化模态逻辑。 (英语) Zbl 1372.03034号 日志。分析。,努夫。Sér。 58,第231号,353-370(2015).MSC公司:03B44号 03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona},日志。分析。,努夫。Sér。58、第231、353--370号(2015;Zbl 1372.03034) 全文: 内政部
玛丽亚·蓬特;瓦兹奎兹,玛格丽塔 时态和时态参考混合时态逻辑。 (英语) Zbl 1336.03021号 日志。分析。,努夫。Sér。 55,编号220,555-578(2012).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ponte}和\textit{M.Vázquez},日志。分析。,努夫。Sér。55,编号220,555--578(2012;Zbl 1336.03021)
Jean-Pascal阿尔坎塔拉 莱布尼茨、英国新现实主义和怀特海的内部关系。 (英语) Zbl 1269.03001号 日志。分析。,努夫。Sér。 54,第214号,173-209(2011). 审核人:米歇尔·韦伯(卢瓦因·拉纽夫) MSC公司:03-03 01A60型 01A70号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Alcantara},日志。分析。,努夫。Sér。54、第214、173--209号(2011;Zbl 1269.03001)
诺里希罗·卡米德 动态拓扑和线性时间逻辑中的删减和完备性。 (英语) Zbl 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)
精木赤山;Yasunori长田;Yamada,Chikatoshi山田 未来特遣队的三值时序逻辑。 (英语) Zbl 1137.03010号 日志。分析。,努夫。Sér。 50,编号198,99-111(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}等人,日志。分析。,努夫。Sér。50、编号198、99--111(2007;Zbl 1137.03010)
劳埃德·亨伯斯通 还有另一个“原语选择”警告:正常模态逻辑。 (英语) Zbl 1086.03014号 日志。分析。,努夫。Sér。 47,编号185-188,395-407(2004). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},日志。分析。,努夫。Sér。47,第185--188、395--407号(2004;Zbl 1086.03014)
田中,Koji 成为某物和某物:辩证时态逻辑。 (英语) Zbl 1009.03509号 日志。分析。,努夫。Sér。 41,第161-163号,189-202(1998).MSC公司:03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Tanaka},日志。分析。,努夫。Sér。41、第161--163、189--202号(1998年;Zbl 1009.03509)
沃洛德迈尔·纳夫罗茨基 用于描述更改的间隔语义。 (英语) Zbl 1009.03534号 日志。分析。,努夫。Sér。 41,编号161-163,95-105(1998).MSC公司:03B53号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Navrotsky},日志。分析。,努夫。Sér。41,编号161-163,95-105(1998;Zbl 1009.03534)
帕特丽斯·白哈切 带有个人的临时义务世界。 (英语) Zbl 0974.03021号 日志。分析。,努夫。Sér。 38,第149号,23-42(1995).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bailhache},日志。分析。,努夫。Sér。38,编号149,23-42(1995;Zbl 0974.03021)
帕特丽斯·白哈切 时序道义逻辑的规范模型。 (英语) 兹伯利0973.03023 日志。分析。,努夫。Sér。 38,第149号,3-21(1995).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bailhache},日志。分析。,努夫。Sér。38,编号149,3--21(1995;Zbl 0973.03023)
帕特丽斯·白哈切 道义分支时间:两个相关概念。 (英语) Zbl 0839.03009号 日志。分析。,努夫。Sér。 36,编号141-142159-175(1993). 审核人:L.F.Goble(塞勒姆) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bailhache},日志。分析。,努夫。Sér。36,第141--142159--175号(1993;Zbl 0839.03009)
迈克尔·米歇尔 时间运算符的计算。 (英语) Zbl 0588.03008号 逻辑分析。,努夫。Sér。 28, 137-152 (1985). 审核人:A.克雷茨马尔 MSC公司:03B25号 05年3月 60年第68季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Michel},日志。分析。,努夫。Sér。28137--152(1985;Zbl 0588.03008)
皮埃尔·沃尔珀 时态逻辑的tableau方法:概述。 (英语) Zbl 0585.03008号 逻辑分析。,努夫。Sér。 28, 119-136 (1985).MSC公司:03B25号 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper},日志。分析。,努夫。Sér。28、119--136(1985;Zbl 0585.03008)
帕特丽斯·白哈切 Quelques foncteurs faussement primitifs en logique déontique(三价和行动)。 (法语) Zbl 0563.03009号 逻辑分析。,努夫。Sér。 27, 393-405 (1984).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bailhache},日志。分析。,努夫。Sér。27393--405(1984年;Zbl 0563.03009)
van Eck,J.A。 时间相对模态和道义谓词逻辑系统及其哲学应用。 (英语) Zbl 0549.03004号 逻辑分析。,努夫。Sér。 25, 249-290, 339-381 (1982). 审核人:L.F.戈布尔 MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.van Eck},日志。分析。,努夫。Sér。25249--290339--381(1982;Zbl 0549.03004)
雷蒙德·甘姆。 对一致进化理论概念的解释。 (英语) Zbl 0482.03001号 逻辑分析。,努夫。Sér。 24, 113-127 (1981).MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Gumb},日志。分析。,努夫。Sér。24、113--127(1981年;Zbl 0482.03001)
伊加尔·克瓦特 时间逻辑和反事实的形式语义。 (英语) Zbl 0448.03005号 逻辑分析。,努夫。Sér。 23, 35-62 (1980).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kvart},日志。分析。,努夫。Sér。23、35-62(1980;Zbl 0448.03005)
M.J.怀特。 S5 Diodorean模态系统。 (英语) Zbl 0444.03009号 逻辑分析。,努夫。Sér。 22, 477-487 (1979).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.怀特},Log。分析。,努夫。Sér。22477--487(1979年;Zbl 0444.03009)