Pages that link to "Item:Q3224669"
From MaRDI portal
The following pages link to EXPTIME Tableaux for the Coalgebraic mu-Calculus (Q3224669):
Displaying 10 items.
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- (Q5028446) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5875397) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
