Expressivity of coalgebraic modal logic: the limits and beyond
From MaRDI portal
Publication:2474056
Recommendations
Cites work
- A coalgebraic approach to process equivalence and a coinduction principle for traces
- A coalgebraic approach to the semantics of the ambient calculus
- A coalgebraic perspective on monotone modal logic
- A compositional approach to defining logics for coalgebras
- A hierarchy of probabilistic system types
- A Noetherian and confluent rewrite system for idempotent semigroups
- A theory of higher order communicating systems
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Algebra and Coalgebra in Computer Science
- Algebraic laws for nondeterminism and concurrency
- Algebraic semantics for coalgebraic logics
- Algebraic-coalgebraic specification in CoCASL
- Bisimulation through probabilistic testing
- Boolean Algebras with Operators. Part I
- Coalgebraic logic
- CONCUR 2004 - Concurrency Theory
- Expressive logics for coalgebras via terminal sequence induction
- Expressivity results in the modal logic of coalgebras
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computational Structures
- scientific article; zbMATH DE number 1688389 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 1231631 (Why is no real title available?)
- scientific article; zbMATH DE number 1339970 (Why is no real title available?)
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 2087434 (Why is no real title available?)
- On the final sequence of a finitary set functor
- Probability logic for type spaces
- Specifying coalgebras with modal logic
- Terminal coalgebras in well-founded set theory
- The coalgebraic class specification language CCSL
- Universal coalgebra: A theory of systems
Cited in
(61)- Coalgebraic logic for stochastic right coalgebras
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
- Coalgebraic logics \& duality
- Predicate liftings and functor presentations in coalgebraic expression languages
- Resource bisimilarity and graded bisimilarity coincide
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Weakest preconditions in fibrations
- Hennessy-Milner and van Benthem for instantial neighbourhood logic
- A quantified coalgebraic van Benthem theorem
- Lax extensions of coalgebra functors and their 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
- Characterising behavioural equivalence: Three sides of one coin
- Coalgebraic logic over measurable spaces: behavioral and logical equivalence
- Coalgebraic logic over general measurable spaces -- a survey
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Interacting with Modal Logics in the Coq Proof Assistant
- Terminal Sequence Induction via Games
- Proof systems for Moss' coalgebraic logic
- Modalities in the Stone age: a comparison of coalgebraic logics
- Up-to techniques for behavioural metrics via fibrations
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- Expressive logics for coinductive predicates
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- Moss' logic for ordered coalgebras
- A stochastic interpretation of game logic
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Coalgebraic modal logic beyond sets
- Practical coinduction
- Algebra and Coalgebra in Computer Science
- Expressive logics for coalgebras via terminal sequence induction
- Foundations of Software Science and Computational Structures
- Expressive Logics for Coinductive Predicates
- Graded monads and graded logics for the linear time -- branching time spectrum
- Kantorovich functors and characteristic logics for behavioural distances
- A point-free perspective on lax extensions and predicate liftings
- Up-to techniques for behavioural metrics via fibrations
- Hybrid logic with the difference modality for generalisations of graphs
- Coalgebraic semantics of modal logics: an overview
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
- A monoidal view on fixpoint checks
- Linear-time logics -- a coalgebraic perspective
- Many-valued coalgebraic logic over semi-primal varieties
- Coalgebraic satisfiability checking for arithmetic -calculi
- Expressivity of quantitative modal logics categorical foundations via codensity and approximation
- Canonical automata via distributive law homomorphisms
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Proving behavioural apartness
- Relational connectors and heterogeneous simulations
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
- A monoidal view on fixpoint checks
- Quantitative graded semantics and spectra of behavioural metrics
- Identity-preserving Lax extensions and where to find them
- A no-go theorem for coalgebraic product construction
- Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich
- On some properties of topological \(\mathbb{MV}\)-coalgebras.
This page was built for publication: Expressivity of coalgebraic modal logic: the limits and beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474056)
