Current Submissions and Drafts

1. EXPTIME Tableaux for ALC Using Sound Global Caching, Propagation and Cutoffs
   Rajeev Goré and Linh Anh Nguyen 27 pages submitted
   
2. Machine-checked Cut-elimination for Display Logic
   Jeremy E Dawson and Rajeev Goré 60 pages submitted
   
3. Cut-free Single-pass Tableaux for the Logic of Common Knowledge
   Pietro Abate, Rajeev Goré and Florian Widmann 20 pages