Automata for Coalgebras: An Approach Using Predicate Liftings

DOI10.1007/978-3-642-14162-1_32zbMath1288.68175OpenAlexW1532044601MaRDI QIDQ3587454

Gaëlle Fontaine, Raul Leal, Yde Venema

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_32

zbMATH Keywords

modal logiccoalgebraparity automatafixpoint logicpredicate lifitings

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (9)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Unnamed Item ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Coalgebraic logics \& duality ⋮ Unnamed Item ⋮ A propositional dynamic logic for instantial neighborhood semantics

This page was built for publication: Automata for Coalgebras: An Approach Using Predicate Liftings