Equational coalgebraic logic

DOI10.1016/J.ENTCS.2009.07.097MaRDI QIDQ2805164zbMATH OpenOpenAlexFDO

Authors Raul Leal, Alexander Kurz

Publication date 10 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.097

zbMATH Keywords

coalgebracoalgebraic logicpredicate liftingsStone dualityMoss-modalitynabla-modality

Mathematics Subject Classification ID

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

Recommendations

• Modalities in the Stone age: a comparison of coalgebraic logics
• Foundations of Software Science and Computation Structures
• Coalgebraic logic
• Strongly complete logics for coalgebras
• scientific article; zbMATH DE number 1753205

Cites work

• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 1231627 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 2087427 (Why is no real title available?)
• A coalgebraic perspective on monotone modal logic
• A hierarchy of probabilistic system types
• Algebra and Coalgebra in Computer Science
• Algebraic semantics for coalgebraic logics
• Automata and fixed point logic: a coalgebraic perspective
• Automata for the modal \(\mu \)-calculus and related results
• Coalgebraic Automata Theory: Basic Results
• Coalgebraic logic
• Coalgebraic modal logic of finite rank
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Completeness for Flat Modal Fixpoint Logics
• Completeness of the finitary Moss logic
• Expressivity of coalgebraic modal logic: the limits and beyond
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Foundations of Software Science and Computation Structures
• Functorial coalgebraic logic: the case of many-sorted varieties
• On modal -calculus with explicit interpolants
• Predicate liftings versus nabla modalities
• Probability logic for type spaces
• Stochastic Relations
• Strongly complete logics for coalgebras
• The Goldblatt-Thomason Theorem for Coalgebras
• Universal coalgebra: A theory of systems

Cited in

(23)

• scientific article; zbMATH DE number 7566075 (Why is no real title available?)
• scientific article; zbMATH DE number 1036757 (Why is no real title available?)
• scientific article; zbMATH DE number 2063220 (Why is no real title available?)
• EQ-logics with delta connective
• Logical equations in monadic logic
• A point-free perspective on lax extensions and predicate liftings
• Layered logics, coalgebraically
• Modalities in the Stone age: a comparison of coalgebraic logics
• Equational logic and categorical semantics for multi-languages
• Coalgebraic semantics of modal logics: an overview
• Translating logics for coalgebras.
• scientific article; zbMATH DE number 2196590 (Why is no real title available?)
• Equational Reasoning with Applicative Functors
• Predicate liftings and functor presentations in coalgebraic expression languages
• Strongly complete logics for coalgebras
• Modal predicates and coequations
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Lax extensions of coalgebra functors and their logic
• On monotone modalities and adjointness
• Foundations of Software Science and Computational Structures
• On the logic of generalised metric spaces
• On a coalgebraic view on logic
• The temporal logic of coalgebras via Galois algebras

This page was built for publication: Equational coalgebraic logic

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