On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus (2003)
by
Christoph Sprenger
,
Mads Dam
| Venue: | IN PROCEEDINGS OF FOSSACS 2003 |
| Citations: | 16 - 2 self |
BibTeX
@INPROCEEDINGS{Sprenger03onthe,
author = {Christoph Sprenger and Mads Dam},
title = {On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus},
booktitle = {IN PROCEEDINGS OF FOSSACS 2003},
year = {2003},
pages = {425--440},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we study induction in the context of the first-order µ-calculus with explicit approximations. We present and compare two Gentzen-style proof systems each using a different type of induction. The first is
