Current Submissions and Drafts

1. EXPTIME Tableaux for ALC Using Sound Global Caching
   Rajeev Goré and Linh Anh Nguyen 8 pages TO APPEAR in DL07
   
2. Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
   Rajeev Goré and Alwen Tiu, Journal of Logic and Computation, TO APPEAR, 32 pages
3. Cut-free Single-pass Tableaux for the Logic of Common Knowledge
   Pietro Abate, Rajeev Goré and Florian Widmann 8 pages TO APPEAR in Workshop on Agents and Deduction at TABLEAUX 2007
   
4. Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
   Rajeev Goré and Linh Anh Nguyen 15 pages TO APPEAR in CLIMA-VIII
   
5. Termination of Abstract Reduction Systems
   Jeremy E Dawson and Rajeev Goré 27 pages submitted
   
6. EXPTIME Tableaux for ALC Using Sound Global Caching, Propagation and Cutoffs
   Rajeev Goré and Linh Anh Nguyen 27 pages submitted
   
7. Machine-checked Cut-elimination for Display Logic
   Jeremy E Dawson and Rajeev Goré 60 pages submitted
   
8. EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
   Linh Anh Nguyen and Rajeev Goré 15 pages TO APPEAR in Proc. TABLEAUX 2007
9. Theory and Practice of A Generic Tableau Engine: The Tableau Work Bench
   Pietro Abate and Rajeev Goré 15 pages
   
10. System Description: The Tableau Work Bench
    Pietro Abate and Rajeev Goré 5 pages
    
11. Single-pass Tableaux for Computation Tree Logic
    Pietro Abate, Rajeev Goré and Florian Widmann 15 pages submitted
    
12. A Cut-free Sequent Calculus for Automated Deduction in Bi-Intuitionistic Logic
    Linda Buisman and Rajeev Goré 15 pages TO APPEAR in Proc. TABLEAUX 2007
    
13. Cut-elimination for Provability Logic GL
    Rajeev Goré and Revantha Ramanayake 15 pages submitted