On the proof theory of the modal mu-calculus

DOI
Publisher DOI
Date Issued
2008
Publication Type
Article
Language(s)
en
Author(s)
Additional Credits
Journal
Studia logica
Publisher
Springer Netherlands
ISSN
0039-3215
Access(Rights)
open.access
Show full item