Results 1 -
1 of
1
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus
- IN PROCEEDINGS OF FOSSACS 2003
, 2003
"... 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 ..."
Abstract
-
Cited by 16 (2 self)
- Add to MetaCart
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
