Elementary modal logics over transitive structures

被引：0
|
作者：
Michaliszyn, Jakub [1 ,2 ]
Otop, Jan [1 ,3 ]
机构：
[1] University of Wroclaw, Poland
[2] Imperial College London, United Kingdom
[3] IST Austria, Austria
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2013年 / 23卷
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 721.3 Computer Circuits;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
24
引用
收藏
页码：563 / 577
相关论文
共 50 条
  • [41] On the incompleteness of modal logics of space: Advancing complete modal logics of place
    Lemon, O
    Pratt, I
    ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 115 - 132
  • [42] Paraconsistent Modal Logics
    Rivieccio, Umberto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 173 - 186
  • [43] Duality for modal μ-logics
    Hartonas, C
    THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 193 - 222
  • [44] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01): : 31 - 41
  • [45] Fuzzy modal logics
    Mironov A.M.
    Journal of Mathematical Sciences, 2005, 128 (6) : 3461 - 3483
  • [46] Connected modal logics
    Guram Bezhanishvili
    David Gabelaia
    Archive for Mathematical Logic, 2011, 50 : 287 - 317
  • [47] Symmetries in Modal Logics
    Areces, Carlos
    Hoffmann, Guillaume
    Orbe, Ezequiel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 27 - 44
  • [48] Modal Logics with Counting
    Areces, Carlos
    Hoffmann, Guillaume
    Denis, Alexandre
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 98 - 109
  • [49] Modal logic over finite structures
    Rosen E.
    Journal of Logic, Language and Information, 1997, 6 (4) : 427 - 439
  • [50] STABLE MODAL LOGICS
    Bezhanishvili, Guram
    Bezhanishvili, Nick
    Ilin, Julia
    REVIEW OF SYMBOLIC LOGIC, 2018, 11 (03): : 436 - 469
12345