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 条
12345