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
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, Semantic constructions for the specification of objects, Specifying coalgebras with modal logic, From modal logic to terminal coalgebras, Proof systems for Moss' coalgebraic logic, Modalities in the Stone age: a comparison of coalgebraic logics, 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., 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, 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, Coalgebraic logic over general measurable spaces – a survey, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, On monotone modalities and adjointness, Structural Operational Semantics for Weighted Transition Systems, Terminal Sequence Induction via Games
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
