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 条
  • [41] Representing Buridan's Divided Modal Propositions in First-Order Logic
    Dagys, Jonas
    Pabijutaite, Zivile
    Giedra, Haroldas
    HISTORY AND PHILOSOPHY OF LOGIC, 2022, 43 (03) : 264 - 274
  • [42] A non-monotonic Description Logic for reasoning about typicality
    Giordano, L.
    Gliozzi, V.
    Olivetti, N.
    Pozzato, G. L.
    ARTIFICIAL INTELLIGENCE, 2013, 195 : 165 - 202
  • [43] On the Proof-Theory of two Formalisations of Modal First-Order Logic
    Schwartz, Yehuda
    Tourlakis, George
    STUDIA LOGICA, 2010, 96 (03) : 349 - 373
  • [44] Game semantics for non-monotonic intensional logic programming
    Galanaki, Chrysida
    Nomikos, Christos
    Rondogiannis, Panos
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 234 - 253
  • [45] Game Semantics for Non-monotonic Intensional Logic Programming
    Galanaki, Chrysida
    Nomikos, Christos
    Rondogiannis, Panos
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 329 - 341
  • [46] Completeness theorems for (sic)▭-bundled fragment of first-order modal logic
    Wang, Xun
    SYNTHESE, 2023, 201 (04)
  • [47] On the Proof-Theory of two Formalisations of Modal First-Order Logic
    Yehuda Schwartz
    George Tourlakis
    Studia Logica, 2010, 96 : 349 - 373
  • [48] A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic
    M. McKeon
    Journal of Philosophical Logic, 2005, 34 : 305 - 326
  • [49] A defense of the Kripkean account of logical truth in first-order modal logic
    McKeon, M
    JOURNAL OF PHILOSOPHICAL LOGIC, 2005, 34 (03) : 305 - 326
  • [50] First-Order Modal Logic: Frame Definability and a Lindström Theorem
    R. Zoghifard
    M. Pourmahdian
    Studia Logica, 2018, 106 : 699 - 720
12345