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
来源：
Fundamenta Informaticae | 2000年 / 42卷 / 03期
关键词：
First order default logic - Non monotonic modal logic;
D O I：
10.3233/fi-2000-423405
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：303 / 333
相关论文
共 50 条
  • [41] Monotonic modal logics with a conjunction
    Menchon, Paula
    Celani, Sergio
    ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (7-8) : 857 - 877
  • [42] Monotonic modal logics with a conjunction
    Paula Menchón
    Sergio Celani
    Archive for Mathematical Logic, 2021, 60 : 857 - 877
  • [43] COMPLETENESS OF MONOTONIC MODAL LOGICS
    CHELLAS, BF
    MCKINNEY, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 379 - 383
  • [44] Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
    Rybakov, Mikhail
    Shkatov, Dmitry
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (05) : 1266 - 1288
  • [45] Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
    Rybakov, Mikhail
    Shkatov, Dmitry
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (07) : 1305 - 1329
  • [46] First-order Nilpotent minimum logics: first steps
    Bianchi, Matteo
    ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (3-4) : 295 - 316
  • [47] Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
    Arai, Toshiyasu
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (02) : 107 - 143
  • [48] First-order Nilpotent minimum logics: first steps
    Matteo Bianchi
    Archive for Mathematical Logic, 2013, 52 : 295 - 316
  • [49] First-order and temporal logics for nested words
    Alur, Rajeev
    Arenas, Marcelo
    Barcelo, Pablo
    Etessami, Kousha
    Immerman, Neil
    Libkin, Leonid
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 151 - +
  • [50] Weighted First-Order Logics over Semirings
    Mandrali, Eleni
    Rahonis, George
    ACTA CYBERNETICA, 2015, 22 (02): : 435 - 483
12345