Terminal Sequence Induction via Games
From MaRDI portal
Publication:3623843
DOI10.1007/978-3-642-00665-4_21zbMath1236.03059OpenAlexW1585206918MaRDI QIDQ3623843
Publication date: 24 April 2009
Published in: Logic, Language, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00665-4_21
Games involving graphs (91A43) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (3)
Coinductive predicates and final sequences in a fibration ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Coinductive predicates and final sequences in a fibration
Cites Work
- Unnamed Item
- Unnamed Item
- On the final sequence of a finitary set functor
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- Automata, logics, and infinite games. A guide to current research
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Expressivity of coalgebraic modal logic: the limits and beyond
- Automata and fixed point logic: a coalgebraic perspective
- Types and coalgebraic structure
- Bisimulation for Neighbourhood Structures
This page was built for publication: Terminal Sequence Induction via Games
