Technical Reports

1. Theoremhood Preserving Maps as a Characterisation of Cut Elimination for Provability Logics, Stéphane Demri and Rajeev Goré, TR-ARP-05-99, Automated Reasoning Project, Australian National University (1999) 29 pages, (submitted).
2. Display Calculi for Logics with Relative Accessibility relations., Stéphane Demri and Rajeev Goré, TR-ARP-04-98, Automated Reasoning Project, Australian National University (1998) 30 pages, (submitted).
3. Free Variable Tableaux for Propositional Modal Logics, Bernhard Beckert and Rajeev Goré, TR-ARP-02-97, Automated Reasoning Project, Australian National University (1997) 35 pages.
4. Tableau Methods for Modal and Temporal Logics, Rajeev Goré, TR-ARP-15-95, Automated Reasoning Project, Australian National University (1995, last revised Sep 1997) 110 pages.
5. Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Logics, Rajeev Goré, in TR-SRS-1-95, Automated Reasoning Project, Australian National University (1995) 5 pages.
6. Solving the Display Problem Via Residuation, Rajeev Goré, TR-ARP-12-95, Automated Reasoning Project, Australian National University (1995) 35 pages.
7. SRS-II: Proceedings of the Second Symbolic Reasoning Systems Workshop, TR-SRS-1-95, Automated Reasoning Project, Australian National University (1995) ? pages.
8. A Uniform Display System for Intuitionistic and Dual Intuitionistic Logic, Rajeev Goré, TR-ARP-6-95, Automated Reasoning Project, Australian National University (1995) 15 pages.
9. Intuitionistic Logic Redisplayed, Rajeev Goré, TR-ARP-1-95, Automated Reasoning Project, Australian National University (1995) 34 pages.

Dr. Rajeev P. Goré           Tel: +61-2-6125 8603 
Automated Reasoning Group    Fax: +61-2-6125 8651 
Computer Sciences Laboratory Email: Rajeev.Gore at anu.edu.au
Research School of Information Sciences and Engineering 
Australian National University 
Canberra, ACT, 0200, AUSTRALIA     
ANU CRICOS Provider Number - 00120C