Three-valued temporal logic Qt and future contingents

被引：6

作者：

Akama S. ^{[1
]}

Nagata Y. ^{[2
]}

Yamada C. ^{[3
]}

机构：

[1] Asao-ku, Kawasaki-shi 215-0012, 1-20-1, Higashi-Yurigaoka

[2] Department of Electrical and Electronics Engineering, University of Ryukyus, Okinawa 903-0213

[3] Takushoku University, Hokkaido College, Fukagawa, Hokkaido 074-8585

来源：

Studia Logica | 2008年 / 88卷 / 2期

关键词：

Future contingents; Kripke semantics; Prior; Q; Three-valued temporal logic Qt;

D O I：

10.1007/s11225-008-9102-0

中图分类号：

学科分类号：

摘要：

Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic Q t and give its axiomatization and semantics. We also argue that Q t provides a smooth solution to the problem of future contingents. © 2008 Springer Science+Business Media B.V.

引用

页码：215 / 231

页数：16

共 50 条

[31] Formal axiomatic theories based on a three-valued logic
Zaslavsky I.D.
Journal of Mathematical Sciences, 2005, 130 (2) : 4578 - 4597
[32] Incidence calculus on Lukasiewicz's three-valued logic
Qi, GL
Milligan, P
Sage, P
FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378
[33] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
Akama, Seiki
Murai, Tetsuya
Miyamoto, Sadaaki
LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
[34] Logic Programs under Three-Valued Lukasiewicz Semantics
Hoelldobler, Steffen
Ramli, Carroline Dewi Puspa Kencana
LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
[35] Three-valued and four-valued approach to logic programming with negation
Ying, Ming-sheng
Liu, Fu-chun
Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
[36] Kleene's three-valued logic and process algebra
Bergstra, JA
Ponse, A
INFORMATION PROCESSING LETTERS, 1998, 67 (02) : 95 - 103
[37] Basic positively closed classes in three-valued logic
Marchenkov, Sergey S.
Chernyshev, Anatoliy V.
DISCRETE MATHEMATICS AND APPLICATIONS, 2018, 28 (03): : 157 - 165
[38] A three-valued characterization for strong equivalence of logic programs
Cabalar, P
EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 106 - 111
[39] LOGICAL RELATIONS BETWEEN CONDITIONALS AND THREE-VALUED LOGIC
Belikov, Alexander A.
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2023, 71 : 5 - 12
[40] On Prior's three-valued modal logic Q
Akama, S
Nagata, Y
35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 14 - 19

← 1 2 3 4 5 →