Pages that link to "Item:Q1005937"
From MaRDI portal
The following pages link to On the proof theory of the modal mu-calculus (Q1005937):
Displaying 27 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)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- On modal \(\mu\)-calculus and non-well-founded set theory (Q1771199) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (Q2915051) (← links)
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374) (← links)
- (Q3002404) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- A small model theorem for the hybrid -calculus (Q3195619) (← links)
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (Q3557849) (← links)
- (Q4381381) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)
- (Q4525272) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- A Note on Negative Tagging for Least Fixed-Point Formulae (Q4943549) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Semirings of Evidence (Q5098741) (← links)
- (Q5144634) (← links)
- (Q5214813) (← links)
- A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus (Q5689266) (← links)
- A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus (Q5756760) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata (Q6541156) (← links)
