Terminal Sequence Induction via Games
From MaRDI portal
Publication:3623843
DOI10.1007/978-3-642-00665-4_21zbMath1236.03059MaRDI 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
91A43: Games involving graphs
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
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