Pages that link to "Item:Q2495648"

The following pages link to Automata and fixed point logic: a coalgebraic perspective (Q2495648):

Displaying 32 items.

• Coinductive predicates and final sequences in a fibration (Q265811) (← links)
• Proof systems for Moss' coalgebraic logic (Q402120) (← links)
• A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
• Completeness for flat modal fixpoint logics (Q638475) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• Computation as social agency: what, how and who (Q1641025) (← links)
• Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
• Coalgebraic logics \& duality (Q1798781) (← links)
• Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
• A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
• Equational coalgebraic logic (Q2805164) (← links)
• Automata and fixed point logics for coalgebras (Q2847823) (← links)
• Modular games for coalgebraic fixed point logics (Q2873663) (← links)
• Coalgebraising subsequential transducers (Q2873665) (← links)
• Predicate liftings versus nabla modalities (Q2873669) (← links)
• Complementation of Coalgebra Automata (Q2888479) (← links)
• On monotone modalities and adjointness (Q3005992) (← links)
• The mu-calculus and Model Checking (Q3176384) (← links)
• Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)
• Terminal Sequence Induction via Games (Q3623843) (← links)
• EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
• Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
• Generalised powerlocales via relation lifting (Q4911306) (← links)
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
• (Q5101351) (← links)
• Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
• On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
• A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
• Automata and coalgebras in categories of species (Q6666774) (← links)