Coalgebraic modal logic of finite rank

DOI10.1017/S0960129505004755zbMATH Open1135.18300OpenAlexW2006445902MaRDI QIDQ5462663FDOQ5462663

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)

Cited In (14)

• On final coalgebras of power-set functors and saturated trees
• Coequational logic for finitary functors
• A coalgebraic view on positive modal logic
• Title not available (Why is that?)
• Equational coalgebraic logic
• Presenting functors on many-sorted varieties and applications
• Stone coalgebras
• Finite-Chain Graded Modal Logic
• Functorial coalgebraic logic: the case of many-sorted varieties
• Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
• Algebra and Coalgebra in Computer Science
• Free Heyting Algebras: Revisited
• Traces for coalgebraic components
• Characterising Behavioural Equivalence: Three Sides of One Coin

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5462663)