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 条
  • [1] Products of 'transitive' modal logics
    Gabelaia, D
    Kurucz, A
    Wolter, F
    Zakharyaschev, M
    JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (03) : 993 - 1021
  • [2] Interpolation in weakly transitive modal logics
    A. V. Karpenko
    Algebra and Logic, 2012, 51 : 131 - 143
  • [3] Best Unifiers in Transitive Modal Logics
    Vladimir V. Rybakov
    Studia Logica, 2011, 99
  • [4] Projective unification in transitive modal logics
    Kost, Slawomir
    LOGIC JOURNAL OF THE IGPL, 2018, 26 (05) : 548 - 566
  • [5] Interpolation in weakly transitive modal logics
    Karpenko, A. V.
    ALGEBRA AND LOGIC, 2012, 51 (02) : 131 - 143
  • [6] Best Unifiers in Transitive Modal Logics
    Rybakov, Vladimir V.
    STUDIA LOGICA, 2011, 99 (1-3) : 321 - 336
  • [7] On the complexity of elementary modal logics
    Hemaspaandra, Edith
    Schnoor, Henning
    STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2008, : 349 - 360
  • [8] On the Decidability of Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Kieron, Emanuel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [9] Decidable Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 491 - 500
  • [10] On transitive modal many-valued logics
    Vidal, Amandaa
    FUZZY SETS AND SYSTEMS, 2021, 407 : 97 - 114
12345