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 条
  • [21] On first-order conditional logics
    School of Computing Science, Simon Fraser University, Burnaby, BC V5A 1S6, Canada
    Artif Intell, 1-2 (105):
  • [22] First-order Godel logics
    Baaz, Matthias
    Preining, Norbert
    Zach, Richard
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (1-2) : 23 - 47
  • [23] On first-order conditional logics
    Delgrande, JP
    ARTIFICIAL INTELLIGENCE, 1998, 105 (1-2) : 105 - 137
  • [24] A non-preferential semantics of non-monotonic modal logic
    Michael Kaminski
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 205 - 223
  • [25] Range of applicability of some non-monotonic logics for strict inertia
    Sandewall, E.
    Journal of Logic and Computation, 1994, 4 (05)
  • [26] Requirements Engineering via Non-monotonic Logics and State Diagrams
    Billington, David
    Estivill-Castro, Vladimir
    Hexel, Rene
    Rock, Andrew
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2011, 230 : 121 - +
  • [27] A non-preferential semantics of non-monotonic modal logic
    Kaminski, Michael
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 205 - 223
  • [28] Epistemic semantics for fixed-points non-monotonic logics
    Lin, F.
    Shoham, Y.
    Theoretical Aspects of Reasoning About Knowledge - Proceedings, 1990,
  • [29] Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames
    Hagihara, Shigeki
    Tomoishi, Masahiko
    Shimakawa, Masaya
    Yonezaki, Naoki
    PROCEEDINGS OF THE 2017 5TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY (ICMMCT 2017), 2017, 126 : 676 - 683
  • [30] Non-commutative first-order EQ-logics
    Dyba, Martin
    El-Zekey, Moataz
    Novak, Vilem
    FUZZY SETS AND SYSTEMS, 2016, 292 : 215 - 241
12345