Coalgebraic logic
From MaRDI portal
Publication:1295427
DOI10.1016/S0168-0072(98)00042-6zbMath0969.03026MaRDI QIDQ1295427
Publication date: 12 September 1999
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
coalgebra; bisimulation; characterization theorem; transition system; greatest fixed point; functor on sets; infinitary modal logic
03B45: Modal logic (including the logic of norms)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03G30: Categorical logic, topoi
Related Items
Unnamed Item, Generalised powerlocales via relation lifting, 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, Coalgebraic Modal Logic Beyond Sets, Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting, Transitivity and Difunctionality of Bisimulations, Bisimulation proof methods in a path-based specification language for polynomial coalgebras, Semantic constructions for the specification of objects, Specifying coalgebras with modal logic, From modal logic to terminal coalgebras, On a categorical framework for coalgebraic modal logic, Relation lifting, a survey, Proof systems for Moss' coalgebraic logic, Modalities in the Stone age: a comparison of coalgebraic logics, A stochastic interpretation of game logic, On the final sequence of a finitary set functor, Expressive logics for coalgebras via terminal sequence induction, Coequational logic for accessible functors, Completeness for flat modal fixpoint logics, Coalgebraic semantics of modal logics: an overview, A hierarchy of probabilistic system types, A compositional approach to defining logics for coalgebras, Stone coalgebras, A coalgebraic view on positive modal logic, Stochastic coalgebraic logic: bisimilarity and behavioral equivalence, Bialgebraic methods and modal logic in structural operational semantics, Coalgebraic logic for stochastic right coalgebras, Universal coalgebra: A theory of systems, A coalgebraic equational approach to specifying observational structures, On institutions for modular coalgebraic specifications., Using coalgebras and the Giry monad for interpreting game logics -- a tutorial, Completeness for \(\mu\)-calculi: a coalgebraic approach, Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics, Coalgebraic logics \& duality, Predicate liftings and functor presentations in coalgebraic expression languages, Coalgebras and monads in the semantics of Java, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Resource bisimilarity and graded bisimilarity coincide, Bisimulation for probabilistic transition systems: A coalgebraic approach, Finitary coalgebraic multisemilattices and multilattices., An institution of modal logics for coalgebras, Algebraic-coalgebraic specification in CoCASL, Finite models constructed from canonical formulas, Modular construction of complete coalgebraic logics, Expressivity of coalgebraic modal logic: the limits and beyond, A modular approach to defining and characterising notions of simulation, Automata and fixed point logic: a coalgebraic perspective, A modal proof theory for final polynomial coalgebras, A finite model construction for coalgebraic modal logic, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Equational Coalgebraic Logic, Institutionalising Many-Sorted Coalgebraic Modal Logic, Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic, Towards coalgebraic behaviourism, 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, Characterising Behavioural Equivalence: Three Sides of One Coin, A Single Complete Relational Rule for Coalgebraic Refinement, Coalgebraic logic over general measurable spaces – a survey, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, On monotone modalities and adjointness, The mu-calculus and Model Checking, Structural Operational Semantics for Weighted Transition Systems, Terminal Sequence Induction via Games
Cites Work
- Non-well-founded sets modeled as ideal fixed points
- Bisimulation through probabilistic testing
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Universal coalgebra: A theory of systems
- Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Terminal coalgebras in well-founded set theory
- On the Foundations of Corecursion
- A quantitative analysis of modal logic
- A final coalgebra theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
