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 条
  • [21] Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Witkowski, Piotr
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (96): : 141 - 154
  • [22] ON DEFINABILITY OF CONNECTIVES AND MODAL LOGICS OVER FDE
    Odintsov, Sergei P.
    Skurt, Daniel
    Wansing, Heinrich
    LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (04) : 631 - 659
  • [23] Complexity of finite-variable fragments of products with non-transitive modal logics
    Rybakov, Mikhail
    Shkatov, Dmitry
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (05) : 853 - 870
  • [24] Modal logics of almost-sure validities in some classes of Euclidean and transitive frames
    Sliusarev, Vladislav
    COMBINATORICS AND NUMBER THEORY, 2025, 14 (01):
  • [25] IS THE SEMANTICS OF BRANCHING STRUCTURES ADEQUATE FOR CHRONOLOGICAL MODAL LOGICS
    NISHIMURA, H
    JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 469 - 475
  • [26] Logics of Belief over Weighted Structures
    Ma, Minghui
    Guo, Meiyun
    LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 206 - 219
  • [27] On the relation between modal and multi-modal logics over Lukasiewicz logic
    Esteva, Francesc
    Godo, Lluis
    Oscar Rodriguez, Ricardo
    2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2017,
  • [28] Fixpoint Logics over Hierarchical Structures
    Goeller, Stefan
    Lohrey, Markus
    THEORY OF COMPUTING SYSTEMS, 2011, 48 (01) : 93 - 131
  • [29] Fixpoint Logics over Hierarchical Structures
    Stefan Göller
    Markus Lohrey
    Theory of Computing Systems, 2011, 48 : 93 - 131
  • [30] Monadic Second-Order Logic and Transitive Closure Logics over Trees
    Tiede, Hans-Joerg
    Kepser, Stephan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 165 (SPEC. ISS.) : 189 - 199
12345