×
帕特里克·布莱克本;约根森，克劳斯·弗罗文

Reichenbach，先行和混合时态逻辑。 （英语） Zbl 1367.03012号

合成 193，第11号，3677-3689（2016）.
汉斯·赖森巴赫和亚瑟·普赖尔对时态逻辑的贡献通常被视为对手。A.之前谈到赖森巴赫的计划[过去、现在和未来]。牛津：克拉伦登出版社（1967；Zbl 0169.29802号)]它既过于简单（每种时态都有一个参考点，但有些例子需要两个参考点），又过于复杂，因为他错过了参考点应该无限可迭代的概括。本文将时态研究中已知的内容部署为一种混合逻辑，将Prior和Reichenbach的工作优雅地结合起来，以提供一种自然语言时态学生也应该感兴趣的结构。
审核人：吉姆·麦肯齐（悉尼）

引用于2文件

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
03-03 数学逻辑和基础的历史
01A60型 20世纪数学史
03B44号 时间逻辑

关键词：

阿瑟·普赖尔;赖欣巴哈;参考点;混合逻辑

引文：

Zbl 0169.29802号
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}和\textit{K.F.Jörgensen}，综合193，第11期，3677-3689（2016；Zbl 1367.03012）
全文： 内政部

参考文献：

[1] Allen，R.L.（1966年）。现代美国英语的动词系统（第24卷）。海牙：莫顿。
[2] Areces，C.（2000年）。逻辑工程：描述和混合逻辑的案例。阿姆斯特丹大学博士论文。
[3] Areces，C.、Blackburn，P.、Huertas，A.和Manzano，M.（2014）。混合型理论的完备性。哲学逻辑杂志，43209-238·Zbl 1338.03031号 ·doi:10.1007/s10992-012-9260-4
[4] Areces，C.、Blackburn，P.和Marx，M.（2000）。混合时序逻辑的计算复杂性。IGPL逻辑杂志，8（5），653-679·Zbl 0959.03011号 ·doi:10.1093/jigpal/8.5.653
[5] Baader，F.、Calvanee，D.、McGuinness，D.、Nardi，D.和Patel-Schneider，P.（编辑）。(2003). 描述逻辑手册：理论、实现和应用。剑桥：剑桥大学出版社·Zbl 1058.68107号
[6] Binnick，R.I.（1991）。时间和动词：时态和体的指南。牛津：牛津大学出版社。
[7] Blackburn，P.（1990）。名词时态逻辑和其他分类的内涵框架。爱丁堡大学认知科学中心博士论文·Zbl 0793.03012号
[8] Blackburn，P.（1994）。时态、时间指称和时态逻辑。《语义学杂志》，第11期，第83-101页·doi:10.1093/jos/11.1-2.83
[9] Blackburn，P.（2006）。Arthur Prior和混合逻辑。合成，150329-372·Zbl 1108.03001号 ·doi:10.1007/s11229-005-5512-y
[10] Blackburn，P.&Jörgensen，K.F.（2012）。令人费解的混合时态逻辑。收录于：T.Bolander、T.Bräuner、S.Ghilardi和L.Moss（编辑），《模态逻辑进展》（第9卷，第144-160页）·Zbl 1296.03012号
[11] Blackburn，P.，&Jörgensen，K.F.（2013）。混合逻辑中的上下文有效性。在P.Brezillon和P.Blackburn（编辑），使用上下文建模（第8177卷，第185-198页）。计算机科学讲义柏林：施普林格。
[12] Blackburn，P.和Jørgensen，K.F.（2015）。Arthur Prior和《现在》，Synthese，本卷。
[13] Blackburn，P.和Tzakova，M.（1998年）。混合概念语言。数学与人工智能年鉴，24（1-4），23-49·Zbl 0919.03016号 ·doi:10.1023/A:1018988913388
[14] Blackburn，P.和Tzakova，M.（1999）。混合语言和时序逻辑。IGPL逻辑杂志，7（1），27-54·Zbl 0920.03029号 ·doi:10.1093/jigpal/7.1.27
[15] Bull，R.（1970年）。时态逻辑的一种方法。理论，36，282-300·Zbl 0227.02012 ·doi:10.1111/j.1755-2567.1970.tb00428.x
[16] Comrie，B.（1981年）。论赖森巴赫的时态方法。收录：第十七次区域会议的文件。芝加哥语言学会伊利诺伊州芝加哥（第24-30页）·Zbl 0959.03011号
[17] Comrie，B.（1985年）。时态。剑桥：剑桥大学出版社·Zbl 0598.53001号 ·doi:10.1017/CBO9781139165815
[18] Gargov，G.和Goranko，V.（1993年）。具有名称的模态逻辑。《哲学逻辑杂志》，22，607-636·Zbl 0793.03012号 ·doi:10.1007/BF01054038
[19] Giorgi，A.和Pianesi，F.（1997年）。时态和体：从语义到形态句法。牛津：牛津大学出版社。
[20] Jespersen，O.（1965年）。语法哲学。芝加哥：芝加哥大学出版社。
[21] H.坎普。；Portner，P.（编辑）；波黑·Partee（编辑），《形式语义——基本读物》，189-222（1981），牛津
[22] Kamp，H.和Reyle，U.（1993年）。从话语到逻辑：介绍自然语言的模型论语义、形式逻辑和话语表示理论。柏林：斯普林格。
[23] Kamp，H。；罗勒，C。；Baeuerle，R.（编辑）；Schwarze，C.（编辑）；Stechow，A.（编辑），文本中的时态，250-269（1983），柏林
[24] Montague，R.（1973）。普通英语中量化的正确处理。J.Hintikka、J.Moravcsik和P.Suppes（编辑），《自然语言方法》，Reidel（第221-242页）。重印于Thomason（1974）。
[25] Øhrström，P.，&Hasle，P.F.（1995）。时间逻辑：从古代思想到人工智能（第57卷）。海德堡：施普林格科技与商业媒体·Zbl 0855.03003号 ·doi:10.1007/978-0-585-37463-5
[26] 乙方，B.H.（1984）。名词性回指和时间性回指。语言学与哲学，7（3），243-286·doi:10.1007/BF00627707
[27] Prior，A.（1967）。过去、现在和未来。牛津：牛津大学出版社·Zbl 0169.29802号 ·doi:10.1093/acprof:oso/9780198243113.001.0001
[28] Prior，A.（1968/2003）。关于时间和时态的论文，新版，牛津大学出版社。最初出版于1968年。Hasle、Øhrström、Braüner和Copeland编辑的特别版于2003年出版
[29] Reichenbach，H.（1947）。符号逻辑的要素。纽约：自由新闻·Zbl 0034.00301号
[30] 托马森，R.（编辑）。(1974). 形式哲学：理查德·蒙塔古论文选集。耶鲁大学：耶鲁大学出版社。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。