The following pages link to (Q4603451):
Displaying 7 items.
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- General Models and Completeness of First-Order Modal -calculus (Q3520232) (← links)
- (Q3691640) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Size measures and alphabetic equivalence in the \(\mu \)-calculus (Q6649448) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)
