Equational Coalgebraic Logic

DOI10.1016/j.entcs.2009.07.097zbMath1337.03093OpenAlexW2113584086MaRDI QIDQ2805164

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

coalgebraStone dualitycoalgebraic logicpredicate liftingsMoss-modalitynabla-modality

Mathematics Subject Classification ID

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

Related Items (7)

A point-free perspective on lax extensions and predicate liftings ⋮ Coalgebraic semantics of modal logics: an overview ⋮ On monotone modalities and adjointness ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Lax extensions of coalgebra functors and their logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A hierarchy of probabilistic system types
• Coalgebraic logic
• Finality regained: A coalgebraic study of Scott-sets and multisets
• Universal coalgebra: A theory of systems
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Expressivity of coalgebraic modal logic: the limits and beyond
• Automata and fixed point logic: a coalgebraic perspective
• On modal \(\mu\)-calculus with explicit interpolants
• Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
• Predicate Liftings Versus Nabla Modalities
• Strongly Complete Logics for Coalgebras
• Completeness for Flat Modal Fixpoint Logics
• Automata for the modal μ-calculus and related results
• The Goldblatt-Thomason Theorem for Coalgebras
• Coalgebraic Automata Theory: Basic Results
• Stochastic Relations
• Coalgebraic modal logic of finite rank
• Algebra and Coalgebra in Computer Science
• Foundations of Software Science and Computation Structures
• Probability logic for type spaces

This page was built for publication: Equational Coalgebraic Logic