Current Submissions and Drafts

1. Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
   Rajeev Goré and Linh Anh Nguyen 15 pages TO APPEAR in CLIMA-VIII
   
2. Termination of Abstract Reduction Systems
   Jeremy E Dawson and Rajeev Goré 27 pages submitted
   
3. EXPTIME Tableaux for ALC Using Sound Global Caching, Propagation and Cutoffs
   Rajeev Goré and Linh Anh Nguyen 27 pages submitted
   
4. Machine-checked Cut-elimination for Display Logic
   Jeremy E Dawson and Rajeev Goré 60 pages submitted
   
5. Cut-elimination for Provability Logic GL
   Rajeev Goré and Revantha Ramanayake In Short Papers TABLEAUX 2007