Coalgebraic modal logic of finite rank

DOI10.1017/S0960129505004755zbMath1135.18300OpenAlexW2006445902MaRDI QIDQ5462663

Dirk Pattinson, Alexander Kurz

Publication date: 3 August 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129505004755

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations, relations to logic and deductive systems (18A15)

Related Items (9)

Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ Free Heyting Algebras: Revisited ⋮ Presenting functors on many-sorted varieties and applications ⋮ Traces for coalgebraic components ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ On final coalgebras of power-set functors and saturated trees ⋮ Equational Coalgebraic Logic ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

This page was built for publication: Coalgebraic modal logic of finite rank