Coalgebraic Logics & Duality

被引：0
|
作者：
Kupke, Clemens [1 ]
机构：
[1] Univ Strathclyde, Dept Comp & Informat Sci, Glasgow, Lanark, Scotland
来源：
COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2018) | 2018年 / 11202卷
关键词：
MODAL LOGIC; FINAL COALGEBRAS; EXPRESSIVITY;
D O I：
10.1007/978-3-030-00389-0_2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
I will provide a brief introduction to coalgebraic modal logics and highlight a few central concepts concerning these logics. After that I will outline my current research in the area. This note is not a survey of coalgebraic logics such as [1,2]. Instead, I am going to highlight ideas that continue to be important for my research within the area. A leitmotif is the fundamental role played by duality theory.
引用
收藏
页码：6 / 12
页数：7
相关论文
共 50 条
  • [1] Coalgebraic Announcement Logics
    Carreiro, Facundo
    Gorin, Daniel
    Schroeder, Lutz
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 101 - 112
  • [2] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01): : 31 - 41
  • [3] Cut elimination in coalgebraic logics
    Pattinson, Dirk
    Schroder, Lutz
    INFORMATION AND COMPUTATION, 2010, 208 (12) : 1447 - 1468
  • [4] Admissibility of Cut in Coalgebraic Logics
    Pattinson, Dirk
    Schroeder, Lutz
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (05) : 221 - 241
  • [5] POSITIVE FRAGMENTS OF COALGEBRAIC LOGICS
    Balan, Adriana
    Kurz, Alexander
    Velebil, Jiri
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (03)
  • [6] A Coalgebraic View of Heyting Duality
    Brian A. Davey
    John C. Galati
    Studia Logica, 2003, 75 (3) : 259 - 270
  • [7] Coalgebraic semantics of modal logics: An overview
    Kupke, Clemens
    Pattinson, Dirk
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (38) : 5070 - 5094
  • [8] Flat Coalgebraic Fixed Point Logics
    Schroder, Lutz
    Venema, Yde
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 524 - +
  • [9] Completeness of Flat Coalgebraic Fixpoint Logics
    Schroeder, Lutz
    Venema, Yde
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (01)
  • [10] Optimal Tableau Algorithms for Coalgebraic Logics
    Gore, Rajeev
    Kupke, Clemens
    Pattinson, Dirk
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2010, 6015 : 114 - +
12345