Coalgebraic logic

DOI10.1016/S0168-0072(98)00042-6zbMath0969.03026OpenAlexW4213277014MaRDI QIDQ1295427

Publication date: 12 September 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(98)00042-6

zbMATH Keywords

coalgebra bisimulation characterization theorem transition system greatest fixed point functor on sets infinitary modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)

Related Items

Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ On a categorical framework for coalgebraic modal logic ⋮ An institution of modal logics for coalgebras ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ Relation lifting, a survey ⋮ The mu-calculus and Model Checking ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Structural Operational Semantics for Weighted Transition Systems ⋮ A finite model construction for coalgebraic modal logic ⋮ Rough and Near: Modal History of Two Theories ⋮ Abstract categorical logic ⋮ Coequational logic for accessible functors ⋮ Categories for Dynamic Epistemic Logic ⋮ Proof systems for Moss' coalgebraic logic ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Unnamed Item ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Completeness for flat modal fixpoint logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ Finite models constructed from canonical formulas ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ On monotone modalities and adjointness ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Modular construction of complete coalgebraic logics ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ A stochastic interpretation of game logic ⋮ Generalised powerlocales via relation lifting ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Process Calculi à la Bird-Meertens ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ A Calculus of Terms for Coalgebras of Polynomial Functors ⋮ Monoid-labeled transition systems ⋮ Modal Rules are Co-Implications ⋮ Modal Languages for Coalgebras in a Topological Setting ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Bisimulation proof methods in a path-based specification language for polynomial coalgebras ⋮ A hierarchy of probabilistic system types ⋮ A compositional approach to defining logics for coalgebras ⋮ Stone coalgebras ⋮ A coalgebraic view on positive modal logic ⋮ Semantic constructions for the specification of objects ⋮ Specifying coalgebras with modal logic ⋮ From modal logic to terminal coalgebras ⋮ On the final sequence of a finitary set functor ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ A modular approach to defining and characterising notions of simulation ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Unnamed Item ⋮ A modal proof theory for final polynomial coalgebras ⋮ 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 ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ Unnamed Item ⋮ Institutionalising Many-Sorted Coalgebraic Modal Logic ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Towards coalgebraic behaviourism ⋮ Universal coalgebra: A theory of systems ⋮ Coalgebras and monads in the semantics of Java ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ A coalgebraic equational approach to specifying observational structures ⋮ On institutions for modular coalgebraic specifications. ⋮ Modular Games for Coalgebraic Fixed Point Logics ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties ⋮ Predicate Liftings Versus Nabla Modalities ⋮ Coequational Logic for Finitary Functors ⋮ Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting

Cites Work