科杜拉,托泽卡;马钦·伊扎克 莱布尼兹可能定律逻辑是一种形式框架,由辛提卡提出,它阻碍了洛夫乔伊的充实原则。 (英语) Zbl 1530.03070号 日志。日志。菲洛斯。 32,编号119-140(2023).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świętorzecka}和\textit{M.Łyczak},Log。日志。菲洛斯。32,编号1,119--140(2023;Zbl 1530.03070) 全文: 内政部
艾哈迈德·卡里米 时间逻辑中雅布罗悖论的句法证明。 (英语) Zbl 1458.03011号 日志。日志。菲洛斯。 28,第4期,753-765(2019).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karimi},日志。日志。菲洛斯。28,第4号,753--765(2019;Zbl 1458.03011) 全文: 内政部
特卡奇克,马钦;托马斯·贾穆·埃克 JerzyŁos位置演算和时态逻辑的起源。 (英语) Zbl 1443.03010号 日志。日志。菲洛斯。 28,第2号,259-276(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03B44号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tkaczyk}和\textit{T.Jarmużek},Log。日志。菲洛斯。28,第2号,259--276(2019;Zbl 1443.03010) 全文: 内政部
丹尼尔·罗内达尔 时间伦理二元道义逻辑与反义务悖论。 (英语) Zbl 1456.03034号 日志。日志。菲洛斯。 27,第1期,第3-52页(2018年).MSC公司:03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},日志。日志。菲洛斯。27、第1、3--52号(2018;Zbl 1456.03034) 全文: 内政部
特卡奇克,马钦 时间逻辑中的虚假混淆。 (英语) Zbl 1372.03035号 日志。日志。菲洛斯。 24,第2期,201-216(2015).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tkaczyk},日志。日志。菲洛斯。24,第2号,201--216(2015;Zbl 1372.03035) 全文: 内政部
理查德·爱泼斯坦。;埃斯佩兰萨Buitrago-Díaz 时间连接词的命题逻辑。 (英语) 兹比尔1375.03020 日志。日志。菲洛斯。 2015年第2期第24期第155-200页.MSC公司:03B44号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Epstein}和\textit{E.Builago-Díaz},Log。日志。菲洛斯。24,第2号,155--200(2015;Zbl 1375.03020) 全文: 内政部
理查德·爱泼斯坦。 对时间逻辑和模态逻辑的思考。 (英语) Zbl 1375.03019号 日志。日志。菲洛斯。 24,第1期,111-139(2015).MSC公司:03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Epstein},日志。日志。菲洛斯。24,第1号,111--139(2015;Zbl 1375.03019) 全文: 内政部
丹尼尔·罗内达尔 量化的时间古生物逻辑。 (英语) Zbl 1375.03021号 日志。日志。菲洛斯。 24,第1期,19-59(2015).MSC公司:03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},日志。日志。菲洛斯。24,第1号,19-59(2015;Zbl 1375.03021) 全文: 内政部
斯坦尼斯·瓦·基祖克 因果命题的逻辑。 (英语) Zbl 1364.03011号 日志。日志。菲洛斯。 23,第4期,403-448(2014).MSC公司:03A05号 03B05号 01A20号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiczuk},日志。日志。菲洛斯。23,第4号,403--448(2014;Zbl 1364.03011) 全文: 内政部
斯坦尼斯·瓦·基祖克 变化逻辑系统。 (英语) Zbl 1321.03045号 日志。日志。菲洛斯。 23,第2期,203-238(2014).MSC公司:03B60号 03A10号 00A79号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiczuk},日志。日志。菲洛斯。23,编号2203-238(2014;兹bl 1321.03045) 全文: 内政部
诺里希罗·卡米德 时间非交换逻辑:表示时间、资源、顺序和层次。 (英语) Zbl 1190.03019号 日志。日志。菲洛斯。 18,第2期,97-126(2009).MSC公司:03B44号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。日志。菲洛斯。18,第2号,97-126(2009;Zbl 1190.03019) 全文: 内政部
卡罗琳,塞姆林;海因里希·万兴 从BDI和stit到BDI-sit逻辑。 (英语) Zbl 1159.03013号 日志。日志。菲洛斯。 17,编号1-2,185-207(2008). 审核人:安德烈亚斯·赫尔齐格(图卢兹) MSC公司:03B42号 03B44号 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Semmling}和\textit{H.Wansing},日志。日志。菲洛斯。17,编号1--2,185-207(2008;Zbl 1159.03013) 全文: 内政部
里巴科夫,V。 离散线性时序逻辑与当前时间点簇,决定算法。 (英语) Zbl 1298.03063号 日志。日志。菲洛斯。 17,编号1-2,143-161(2008).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},日志。日志。菲洛斯。17、编号1--2、143-161(2008;Zbl 1298.03063) 全文: 内政部
诺里希罗·卡米德 扩展的全计算树逻辑用于亚一致模型检查。 (英语) Zbl 1133.68045号 日志。日志。菲洛斯。 15,第3期,251-276(2006).MSC公司:60年第68季度 03B44号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。日志。菲洛斯。15,第3号,251--276(2006;Zbl 1133.68045)
霍尔格·斯特姆 “since”和“until”的真正互模拟。 (英语) Zbl 1035.03009号 日志。日志。菲洛斯。 10, 173-183 (2002). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Sturm},日志。日志。菲洛斯。10173--183(2002年;兹bl 1035.03009) 全文: 内政部
塞萨里·戈兹卡 罗素对时间瞬间的定义。 (英语) Zbl 0985.03008号 日志。日志。菲洛斯。 5, 61-74 (1997).MSC公司:03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Gorzka},日志。日志。菲洛斯。5、61-74(1997年;Zbl 0985.03008) 全文: 内政部
拉尔斯·冈德森 主参数和分支时间。 (英语) Zbl 0985.03009号 日志。日志。菲洛斯。 5, 49-60 (1997).MSC公司:03A05号 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Gundersen},日志。日志。菲洛斯。5、49-60(1997年;Zbl 0985.03009) 全文: 内政部
克劳斯·沃蒂奇 未来和过去真的是创造不透明的运营商吗? (英语) Zbl 0969.03501号 日志。日志。菲洛斯。 3, 185-193 (1995).MSC公司:03A05号 03B65号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wuttich},日志。日志。菲洛斯。3185--193(1995年;Zbl 0969.03501) 全文: 内政部