177

An introduction to inductive definitions
– P Aczel
 1977

18

Complete sequent calculi for induction and infinite descent
– James Brotherston
 2007

61

Cutelimination for a logic with definitions and induction
– Raymond Mcdowell, Dale Miller
 1997

57

Hauptsatz for the intuitionistic theory of iterated inductive definitions
– P MartinLöf
 1971

13

Cyclic proofs for firstorder logic with inductive definitions
– James Brotherston
 2005

42

The automation of proof by mathematical induction
– Alan Bundy
 1997

13

A Complete Deductive System for the µCalculus
– Igor Walukiewicz
 1995

5

Verifying temporal properties using explicit approximants: Completeness for contextfree processes
– Alex Simpson
 2002

16

A calculus of circular proofs and its categorical semantics
– Luigi Santocanale
 2002

33

A Logical Framework For Reasoning About Logical Specifications
– Alwen F. Tiu, Padma Raghavan, Stephen Simpson, Frank Pfenning, Raj Acharya
 2004

8

A Note on Global Induction Mechanisms in a µCalculus with Explicit Approximations
– Christoph Sprenger, Mads Dam
 1999

101

Symbolic execution with separation logic
– Josh Berdine, Cristiano Calcagno, Peter W. O’hearn, Queen Mary
 2005

127

A local shape analysis based on separation logic
– Dino Distefano, Peter W. O’Hearn, Hongseok Yang
 2006

72

An automata theoretic decision procedure for the propositional modal mu–calculus
– Robert S Streett, E Allen Emerson
 1989

13

Completeness of Kozen’s axiomatization of the propositional µ–calculus
– Igor Walukiewicz

5

A proof theoretic methodology for propositional dynamic logic
– Daniel Leivant
 1981

14

Cutfree common knowledge
– Gerhard Jäger, Mathis Kretz, Thomas Studer
 2007

359

Propositional dynamic logic of regular programs
– M J Fischer, R E Ladner
 1979

4

Formalised inductive reasoning in the logic of bunched implications
– James Brotherston
 2007
