Rank-1 Modal Logics Are Coalgebraic
From MaRDI portal
Publication:3590964
DOI10.1007/978-3-540-70918-3_49zbMath1186.03049MaRDI QIDQ3590964
Publication date: 3 September 2007
Published in: STACS 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_49
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
Related Items
Practical coinduction, Cut elimination in coalgebraic logics, Hybrid logic with the difference modality for generalisations of graphs, Admissibility of Cut in Coalgebraic Logics