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 条
  • [11] A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
    Meissner, Silke
    Otto, Martin
    REVIEW OF SYMBOLIC LOGIC, 2022, 15 (02): : 311 - 333
  • [12] On the Expressivity of First-Order Modal Logic with "Actually"
    Kocurek, Alexander W.
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 207 - 219
  • [13] NON-MONOTONIC LOGIC-I
    MCDERMOTT, D
    DOYLE, J
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 41 - 72
  • [14] First-order modal logic in the necessary framework of objects
    Fritz, Peter
    CANADIAN JOURNAL OF PHILOSOPHY, 2016, 46 (4-5) : 584 - 609
  • [15] Are bundles good deals for first-order modal logic?
    Liu, Mo
    Padmanabha, Anantha
    Ramanujam, R.
    Wang, Yanjing
    INFORMATION AND COMPUTATION, 2023, 293
  • [16] MleanCoP: A Connection Prover for First-Order Modal Logic
    Otten, Jens
    AUTOMATED REASONING, IJCAR 2014, 2014, 8562 : 269 - 276
  • [17] An ontology-based first-order modal logic
    Jiang, Feng
    Sui, Yuefei
    Cao, Cungen
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2006, 4259 : 517 - 526
  • [18] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [19] SPECIAL ISSUE ON NON-MONOTONIC LOGIC - PREFACE
    BOBROW, DG
    ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 1 - 4
  • [20] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
12345