Coalgebraic Completeness-via-Canonicity

DOI10.1007/978-3-319-40370-0_11zbMath1476.03089OpenAlexW2491330651MaRDI QIDQ5739456

Fredrik Dahlqvist

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40370-0_11

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical extensions of posets.
• Coalgebraic semantics of modal logics: an overview
• A Sahlqvist theorem for distributive modal logic
• Priestley style duality for distributive meet-semilattices
• On the canonicity of Sahlqvist identities
• A new semantics for positive modal logic
• Positive modal logic
• Modular construction of complete coalgebraic logics
• Canonical extensions and profinite completions of semilattices and lattices
• Positive Fragments of Coalgebraic Logics
• Strongly Complete Logics for Coalgebras
• Equational presentations of functors and monads
• Exemplaric Expressivity of Modal Logics
• Rank-1 Modal Logics are Coalgebraic
• On the Fusion of Coalgebraic Logics
• Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
• Bounded distributive lattice expansions
• Some Sahlqvist Completeness Results for Coalgebraic Logics
• STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Canonical varieties with no canonical axiomatisation
• Algebra and Coalgebra in Computer Science
• Boolean Algebras with Operators. Part I
• A Remark on Boolean Algebras with Operators
• Foundations of Software Science and Computation Structures
• Bounded lattice expansions

This page was built for publication: Coalgebraic Completeness-via-Canonicity