On the Fusion of Coalgebraic Logics

DOI10.1007/978-3-642-22944-2_12zbMath1343.03049OpenAlexW1874754667MaRDI QIDQ3090868

Dirk Pattinson, Fredrik Dahlqvist

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19256125/Dahlqvist_Pattinson_2011_On_the_Fusion_of_Coalgebraic_Logics.pdf

zbMATH Keywords

modal logiccoalgebracompletenessfusion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Combined logics (03B62)

Related Items (3)

On a categorical framework for coalgebraic modal logic ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Coalgebraic Completeness-via-Canonicity

This page was built for publication: On the Fusion of Coalgebraic Logics