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 条
  • [41] Free algebras, states and duality for the propositional GodelΔ and Drastic Product logics
    Aguzzoli, Stefano
    Bianchi, Matteo
    Gerla, Brunella
    Valota, Diego
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2019, 104 : 57 - 74
  • [42] Duality via truth: Semantic frameworks for lattice-based logics
    Orlowska, Ewa
    Rewitzky, Ingrid
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 467 - 490
  • [43] Moment/History Duality in Prior’s Logics of Branching-Time
    Alberto Zanardo
    Synthese, 2006, 150 : 483 - 507
  • [44] Moment/history duality in Prior's logics of branching-time
    Zanardo, Alberto
    SYNTHESE, 2006, 150 (03) : 483 - 507
  • [45] Coalgebraic logic
    Moss, LS
    ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 277 - 317
  • [46] COALGEBRAIC COALGEBRAS
    RADFORD, DE
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 45 (01) : 11 - 18
  • [47] Coalgebraic algebra
    Hunton, JR
    Turner, PR
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1998, 129 (03) : 297 - 313
  • [48] Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
    Nick Bezhanishvili
    Tommaso Moraschini
    Studia Logica, 2023, 111 : 147 - 186
  • [49] Free algebras, states and duality for the propositional GödelΔ and Drastic Product logics
    Aguzzoli, Stefano
    Bianchi, Matteo
    Gerla, Brunella
    Valota, Diego
    International Journal of Approximate Reasoning, 2019, 104 : 57 - 74
  • [50] Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality
    Bezhanishvili, Nick
    Moraschini, Tommaso
    STUDIA LOGICA, 2023, 111 (02) : 147 - 186
12345