Algebraic semantics for coalgebraic logics

MaRDI QIDQ2847816zbMATH OpenFDO

Authors Clemens Kupke, Dirk Pattinson, Alexander Kurz

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051771

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Recommendations

• Strongly complete logics for coalgebras
• Coalgebraic logic
• Some Sahlqvist Completeness Results for Coalgebraic Logics
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Completeness for the coalgebraic cover modality

Cited in

(36)

• Coalgebraic logic
• Coalgebraic logics \& duality
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Intuitionistic fixed point logic
• Algebraic semantics for quasi-Nelson logic
• Algebraic-coalgebraic specification in CoCASL
• Coalgebraic completeness-via-canonicity for distributive substructural logics
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Modular construction of complete coalgebraic logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• A finite model construction for coalgebraic modal logic
• Equational coalgebraic logic
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• On a categorical framework for coalgebraic modal logic
• Functorial coalgebraic logic: the case of many-sorted varieties
• Strongly complete logics for coalgebras
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• scientific article; zbMATH DE number 4181320 (Why is no real title available?)
• Modalities in the Stone age: a comparison of coalgebraic logics
• Natural duality, modality, and coalgebra
• scientific article; zbMATH DE number 1735883 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Expressive logics for coinductive predicates
• Coalgebraic Geometric Logic: Basic Theory
• scientific article; zbMATH DE number 7123530 (Why is no real title available?)
• Smooth coalgebra: testing vector analysis
• scientific article; zbMATH DE number 2196590 (Why is no real title available?)
• Coalgebraic Completeness-via-Canonicity
• Coalgebraic geometric logic
• Preservation and reflection of bisimilarity via invertible steps
• Presenting functors on many-sorted varieties and applications
• Coalgebraic semantics of modal logics: an overview
• Many-valued coalgebraic logic over semi-primal varieties
• A categorical approach to coalgebraic fixpoint logic
• A compositional approach to defining logics for coalgebras
• Coalgebraic representations of distributive lattices with operators

This page was built for publication: Algebraic semantics for coalgebraic logics

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