First-order non-monotonic modal logics

被引：0

作者：

Kaminski, Michael ^{[1
]}

Guy, Rey ^{[2
]}

机构：

[1] Department of Computer Science, Technion - Israel Inst. of Technol., Haifa 32000, Israel

[2] Utopy Inc., 330 Fell St., San Francisco, CA 94102, United States

来源：

关键词：

First order default logic - Non monotonic modal logic;

D O I：

10.3233/fi-2000-423405

中图分类号：

学科分类号：

摘要：

引用

页码：303 / 333

共 50 条

[31] Many-valued modal non-monotonic reasoning: Sequential stable sets and logics with linear truth spaces
Koutras, Costas D.
Koletsos, George
Zachos, Stathis
Fundamenta Informaticae, 1999, 38 (03): : 281 - 324
[32] Compactness in first-order Godel logics
Pourmahdian, Massoud
Tavana, Nazanin R.
JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (03) : 473 - 485
[33] On weighted first-order logics with discounting
Eleni Mandrali
George Rahonis
Acta Informatica, 2014, 51 : 61 - 106
[34] Two first-order logics of permutations
Albert, Michael
Bouvel, Mathilde
Feray, Valentin
JOURNAL OF COMBINATORIAL THEORY SERIES A, 2020, 171
[35] Logics for First-Order Team Properties
Kontinen, Juha
Yang, Fan
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 392 - 414
[36] Analysis of first-order logics of probability
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
[37] On weighted first-order logics with discounting
Mandrali, Eleni
Rahonis, George
ACTA INFORMATICA, 2014, 51 (02) : 61 - 106
[38] Compactness of first-order fuzzy logics
Khatami, S. M. A.
IRANIAN JOURNAL OF FUZZY SYSTEMS, 2022, 19 (03): : 53 - 68
[39] FIRST-ORDER LOGICS OF QUASIARY PREDICATES
Shkilniak, S. S.
CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (06) : 884 - 899
[40] Some first-order probability logics
Ognjanovic, Z
Raskovic, M
THEORETICAL COMPUTER SCIENCE, 2000, 247 (1-2) : 191 - 212