Terminal Sequence Induction via Games

DOI10.1007/978-3-642-00665-4_21MaRDI QIDQ3623843zbMATH OpenOpenAlexFDO

Authors Clemens Kupke

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Games involving graphs (91A43)

Recommendations

• A complete logic for behavioural equivalence in coalgebras of finitary set functors
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Automata and fixed point logics for coalgebras
• Characterising behavioural equivalence: Three sides of one coin
• On the final sequence of a finitary set functor

Cites work

• Automata and fixed point logic: a coalgebraic perspective
• Automata, logics, and infinite games. A guide to current research
• Bisimulation for Neighbourhood Structures
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Coalgebraic logic
• Expressivity of coalgebraic modal logic: the limits and beyond
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• On the final sequence of a finitary set functor
• Types and coalgebraic structure
• Universal coalgebra: A theory of systems

Cited in

(3)

• Coinductive predicates and final sequences in a fibration
• Coinductive predicates and final sequences in a fibration
• (Metric) bisimulation games and real-valued modal logics for coalgebras

This page was built for publication: Terminal Sequence Induction via Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623843)