Pages that link to "Item:Q2495648"
From MaRDI portal
The following pages link to Automata and fixed point logic: a coalgebraic perspective (Q2495648):
Displaying 24 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)
- 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)
- 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)
- 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)
