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