The top documents of prooftheory
Chellas.ModalLogic
182 views
1997_Cervesato
216 views
Destructive Modal Resolution
219 views
1993_Bittel
215 views
1995_Fairtlough
218 views
1994_Dybjer
219 views
First order logic theorem proving
217 views
Trampolined style
213 views
Identity in modal logic theorem proving
234 views