Demystifying \(\mu\)
Demystifying \(\mu\)
About this item
Full title
Demystifying \(\mu\)
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
arXiv.org, 2024-12
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
We explore the theory of illfounded and cyclic proofs for the propositional {modal \(\mu\)-calculus}. A fine analysis of {provability} for classical and intuitionistic modal logic provides a novel bridge between finitary, cyclic and illfounded conceptions of proof and re-enforces the importance of two normal form theorems for the logic: guardedness...
Alternative Titles
Full title
Demystifying \(\mu\)
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2909332244
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2909332244
Other Identifiers
E-ISSN
2331-8422
How to access this item
Log in as a Library member
