Publications in Scientific Journals:
G. Leigh, B. Afshari:
"Circular proofs for the modal mu-calculus";
Proceedings in Applied Mathematics and Mechanics,
16
(2016),
893
- 894.
English abstract:
Inspired by Stirling's tableau proofs [4] we introduce a finite, cut-free sound and complete sequent calculus for the modal mu-calculus. Proofs in this system are finite trees in which leaves are either axioms or assumptions that are discharged by a specific rule of the calculus. The discharge rules provide a way to unfold assumptions motivating the name circular proofs.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1002/pamm.201610435
Created from the Publication Database of the Vienna University of Technology.