The following pages link to (Q3002404):
Displaying 10 items.
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- The variable hierarchy of the \(\mu\)-calculus is strict (Q2643142) (← links)
- Modal logics and mu-calculi: An introduction (Q2760241) (← links)
- The Henkin Sentence (Q3454817) (← links)
- General Models and Completeness of First-Order Modal -calculus (Q3520232) (← links)
- Some Results and Problems in The Modal Set Theory MST (Q3800007) (← links)
- (Q4525272) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)