Pages that link to "Item:Q941442"
From MaRDI portal
The following pages link to Canonical completeness of infinitary \(\mu \) (Q941442):
Displaying 8 items.
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)
- Jónsson-style canonicity in distributive modal <i>µ</i>-calculus (Q6111079) (← links)