First-order ground non-monotonic modal logic

被引：0

作者：

Grimberg, Benjamin

Kaminski, Michael ^{[1
]}

机构：

[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel

来源：

FUNDAMENTA INFORMATICAE | 2008年 / 83卷 / 03期

关键词：

first-order ground non-monotonic modal logic; first-order default logic; preference semantics; minimal model semantics; Herbrand semantics;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We study the extension of propositional ground non-monotonic modal logic to the first-order case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczynski like translation and present a minimal model semantics of first-order ground non-monotonic modal logic.

引用

页码：253 / 276

页数：24

共 50 条

[1] First-order non-monotonic modal logics
Kaminski, Michael
Guy, Rey
Fundamenta Informaticae, 2000, 42 (03) : 303 - 333
[2] A non-preferential semantics of non-monotonic modal logic
Michael Kaminski
Annals of Mathematics and Artificial Intelligence, 2008, 53 : 205 - 223
[3] A non-preferential semantics of non-monotonic modal logic
Kaminski, Michael
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 205 - 223
[4] Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology
Yang, KH
Olson, D
Kim, J
EXPERT SYSTEMS WITH APPLICATIONS, 2004, 27 (04) : 501 - 519
[5] First-order classical modal logic
Arló-Costa H.
Pacuit E.
Studia Logica, 2006, 84 (2) : 171 - 210
[6] FIRST-ORDER DEFINABILITY IN MODAL LOGIC
GOLDBLATT, RI
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (01) : 35 - 40
[7] A logic of non-monotonic interactions
Boniolo, Giovanni
D'Agostino, Marcello
Piazza, Mario
Pulcini, Gabriele
JOURNAL OF APPLIED LOGIC, 2013, 11 (01) : 52 - 62
[8] The Non-Monotonic NonFregean Logic
Wojtowicz, Anna
FILOZOFIA NAUKI, 2011, 19 (02): : 105 - +
[9] Circumscription: formalization of non-monotonic reasoning in second order logic
Tyburski, Michal
FILOZOFIA NAUKI, 2009, 17 (01): : 107 - +
[10] Unification in first-order transitive modal logic
Dzik, Wojciech
Wojtylak, Piotr
LOGIC JOURNAL OF THE IGPL, 2019, 27 (05) : 693 - 717

← 1 2 3 4 5 →