Expressivity of coalgebraic modal logic: the limits and beyond
From MaRDI portal
Publication:2474056
DOI10.1016/j.tcs.2007.09.023zbMath1132.03008OpenAlexW3189472968MaRDI QIDQ2474056
Publication date: 5 March 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.09.023
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
Related Items (38)
Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ On a categorical framework for coalgebraic modal logic ⋮ Weakest preconditions in fibrations ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Proof systems for Moss' coalgebraic logic ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Unnamed Item ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Practical coinduction ⋮ Hybrid logic with the difference modality for generalisations of graphs ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Unnamed Item ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ A quantified coalgebraic van Benthem theorem ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ A stochastic interpretation of game logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic logics \& duality ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Equational Coalgebraic Logic ⋮ Terminal Sequence Induction via Games ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Lax extensions of coalgebra functors and their logic ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the final sequence of a finitary set functor
- Expressive logics for coalgebras via terminal sequence induction
- A compositional approach to defining logics for coalgebras
- A coalgebraic approach to the semantics of the ambient calculus
- A Noetherian and confluent rewrite system for idempotent semigroups
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- A theory of higher order communicating systems
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Universal coalgebra: A theory of systems
- Terminal coalgebras in well-founded set theory
- Algebraic-coalgebraic specification in CoCASL
- Algebraic laws for nondeterminism and concurrency
- CONCUR 2004 - Concurrency Theory
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computational Structures
- Boolean Algebras with Operators. Part I
- Foundations of Software Science and Computation Structures
- Probability logic for type spaces
- Specifying coalgebras with modal logic
This page was built for publication: Expressivity of coalgebraic modal logic: the limits and beyond
