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 条
  • [1] First-order ground non-monotonic modal logic
    Grimberg, Benjamin
    Kaminski, Michael
    [J]. FUNDAMENTA INFORMATICAE, 2008, 83 (03) : 253 - 276
  • [2] Monotonic and non-monotonic logics of knowledge
    Parikh, Rohit
    [J]. Fundamenta Mathematicae, 1991, 15 (3-4) : 255 - 274
  • [3] Variants of first-order modal logics
    Mayer, MC
    Cerrito, S
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 175 - 189
  • [4] On the intertranslatability of non-monotonic logics
    Janhunen, T
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 27 (1-4) : 79 - 128
  • [5] COMPLEXITY OF NON-MONOTONIC LOGICS
    Toran, Jacob
    Thomas, Michael
    Vollmer, Heribert
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (102): : 53 - 82
  • [6] Decidable fragments of first-order modal logics
    Wolter, F
    Zakharyaschev, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1415 - 1438
  • [7] Modal logics between propositional and first-order
    Fitting, M
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (06) : 1017 - 1026
  • [8] First-order resolution methods for modal logics
    [J]. 1600, Springer Verlag (7797 LNCS):
  • [9] On the parameterized complexity of non-monotonic logics
    Meier, Arne
    Schindler, Irina
    Schmidt, Johannes
    Thomas, Michael
    Vollmer, Heribert
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (5-6) : 685 - 710
  • [10] On the parameterized complexity of non-monotonic logics
    Arne Meier
    Irina Schindler
    Johannes Schmidt
    Michael Thomas
    Heribert Vollmer
    [J]. Archive for Mathematical Logic, 2015, 54 : 685 - 710
12345