Pages that link to "Item:Q4644509"
From MaRDI portal
The following pages link to On guarded transformation in the modal -calculus (Q4644509):
Displaying 11 items.
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- (Q3085171) (← links)
- Deciding the unguarded modal -calculus (Q4583323) (← links)
- (Q4603451) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
- Size measures and alphabetic equivalence in the \(\mu \)-calculus (Q6649448) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)