Publications

1. Cut-free Single-pass Tableaux for the Logic of Common Knowledge
   Pietro Abate, Rajeev Goré and Florian Widmann 8 pages Workshop on Agents and Deduction at TABLEAUX 2007
   
2. System Description: The Tableau Work Bench
   Pietro Abate and Rajeev Goré
   12 pages to appear in Proc. Methods for Modalities 2007
   
3. An On-the-fly Tableau-based Decision Procedure for PDL
   Pietro Abate, Rajeev Goré and Florian Widmann
   15 pages, to appear in Proc. Methods for Modalities 2007
   
4. One-pass Tableaux for Computation Tree Logic
   Pietro Abate, Rajeev Goré and Florian Widmann
   Proc. LPAR 2007 LNCS pages 32-46, Springer 2007.
   
5. Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
   Rajeev Goré and Linh Anh Nguyen
   Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
   LNAI 5056 268-287, 2008, TO APPEAR
   
6. 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, 17(4):767-794, 2007, Oxford University Press
7. A Cut-free Sequent Calculus for Bi-Intuitionistic Logic
   Linda Buisman and Rajeev Goré
   Proceedings of the International Conference on Theorem Proving with Analytic Tableaux and Related Methods
   Aix en Provence, France, July 2007, LNAI 4548:90-106, Springer-Verlag, 2007.
8. EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
   Rajeev Goré and Linh Anh Nguyen
   Proceedings of the International Conference on Theorem Proving with Analytic Tableaux and Related Methods
   Aix en Provence, France, July 2007, LNAI 4548:133-148, Springer-Verlag, 2007.
9. EXPTIME Tableaux for ALC Using Sound Global Caching
   Rajeev Goré and Linh Anh Nguyen
   Proceedings of the International Workshop on Description Logics (DL2007),
   Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 8 pages.
   
10. Termination of Abstract Reduction Systems
    Jeremy E. Dawson and Rajeev Goré
    In Proc. Computing: The Australasian Theory Symposium
    Conferences in Research and Practice in Information Technology (CRPIT), Vol 65:35-43, Australian Computer Society Inc, 2007.
11. A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics
    Rajeev Goré and Linh Anh Nguyen.
    In TABLEAUX 2005: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
    Bernhard Beckert (Ed), LNAI 3702:138-152, Springer, 2005 pdf
12. Completeness of hyper-resolution via the semantics of disjunctive logic programs
    Linh Anh Nguyen and Rajeev Goré
    Information Processing Letters 95:363-369, Elsevier 2005.
    
13. Automatic Data Editing: A Framework from Logic.
    Agnes Boskovitz, Rajeev Goré and Paul Wong
    In ISI2005: 55th Session of the International Statistical Institute, April 2005 Sydney Australia, ISBN 1 877040 28 2.
    
14. Data Editing and Logic.
    Agnes Boskovitz and Rajeev Goré
    The United Nations Statistical Commission and Economic Commission for Europe Conference of European Statisticians,
    May 2005, Ottawa, Canada.
    
15. A General Theorem on Termination of Rewriting
    Jeremy E Dawson and Rajeev Goré
    Proc European Conference on Computer Science Logic CSL 2004: 100-114, Springer, 2004.
    
16. On two-sided approximate model-checking: problem formulation and solution via finite topologies.
    Jen Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard and Anil Nerode.
    In FORMATS-FTRTFT-2004: Proc. International Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, pages 52-67. Lecture Notes in Computer Science, Springer, 2004.
    
17. System Description: The Tableaux Workbench
    Pietro Abate and Rajeev Goré,
    In TABLEAUX03: Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 2796:230-236, 2003. Copyright Springer. ps pdf
    
18. A Logical Formalisation of the Fellegi-Holt Method for Data Cleaning
    Agnes Boskovitz and Rajeev Goré and Markus Hegland
    In IDA2003: Advances in Intelligent Data Analysis V, LNCS 2811:554-565, 2003. Copyright Springer.
    
19. Display calculi for nominal tense logics
    Stéphane Demri and Rajeev Goré,
    Journal of Logic and Computation, 12(6):993-1016, 2002. ps pdf
    
20. CardS4: Modal Theorem Proving on Java Smartcards.
    Rajeev Goré and Phuong Thé Nguyen
    Journal of Telecommunications and Information Technology (4):68-80, 2002.
    Copyright National Institute of Telecommunications, Poland postscript file
    
21. A New Machine-checked Proof of Strong-Normalisation for Display Logic
    Jeremy E Dawson and Rajeev Goré
    In CATS03: Proceedings of the 8th Australasian Theory Symposium, Adelaide, Australia, February 2003,
    ENTCS Volume 78, J Harland (Ed), 2003. Copyright Elsevier pdf dvi
22. Machine-checking the Timed Interval Calculus
    Jeremy E Dawson and Rajeev Goré
    In B McKay and J Slaney (Eds) AI02: Advances in Artificial Intelligence, Proceedings of the 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2002. LNAI 2557: 95-106, Springer 2002.
    Errors in the Timed Interval Calculus
23. Formalised Cut Admissibility for Display Logic
    Jeremy E Dawson and Rajeev Goré
    In V. A Carreno, C. A. Munoz, and S. Tahar (Eds), TPHOLS02: Proc. 15th International Conference on Theorem Proving in Higher Order Logic, LNCS 2410:131-147, 2002, Copyright Springer postscript pdf
    
24. An Introduction to Classical Propositional Logic: Syntax, Semantics, Sequents
    Rajeev Goré
    Chapter 45 in Volume 3: 597-643 (but pages 601-617 are missing), in History and Philosophy of Science for African Undergraduates, H Lauer (Editor), Hope Publications, Ibadan, Nigeria, 2003. postscript pdf
    
25. Free-variable Tableaux for Propositional Modal Logics
    Bernhard Beckert and Rajeev Goré
    Studia Logica 69:59-96, 2001, Copyright Kluwer gzipped postscript file
    
26. CardS4: Modal Theorem Proving on Java Smartcards.
    Rajeev Goré and Phuong Thé Nguyen
    In E-smart 2001: International Conference on Research in Smart Cards, Isabelle Attali and Thomas Jensen (Eds), pages 254-269, Volume 2140, Copyright Springer. gzipped postscript file
    
27. Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle.
    Jeremy E Dawson and Rajeev Goré
    In CATS01: The Australian Theory Symposium, Colin Fidge (Ed), pages 89-103, Volume 42, Electronic Notes in Theoretical Computer Science, Elsevier, 2001.
    
28. CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
    Rajeev Goré, and Lan Duy Nguyen
    In Java on Smart Cards: Programming and Security. Proceedings First International Java Card Workshop, Cannes, September 2000. LNCS 2041: 38-51, Springer 2001.
    See CardKt web page for web demonstration.
29. Bimodal Logics for Reasoning About Continuous Dynamics
    J. M. Davoren and R. Goré,
    In Proceedings of Advances in Modal Logic. Leipzig, October 2000, 12 pages, to appear.
    postscript pdf
    
30. Theoremhood Preserving Maps Characterising Cut Elimination for Modal Provability Logics
    Stéphane Demri and Rajeev Goré,
    Journal of Logic and Computation, 12(5):861--884, 2002.
    In Logic Colloquim 2000, Summer Meeting of the Association for Symbolic Logic: abstract only.
    
31. Dual Intuitionistic Logic Revisited
    Rajeev Goré,
    In TABLEAUX00: Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1847:252-267, 2000. Copyright Springer. (errata)
    
32. An O((n.log n)^3)-time transformation from Grz into decidable fragments of classical first-order logic.
    Stéphane Demri and Rajeev Goré,
    In Automated Deduction in Classical and Non-Classical Logics,
    LNAI 1761:153--167, 2000. Copyright Springer.
33. Display Calculi for Logics with Relative Accessibility Relations.
    Stéphane Demri and Rajeev Goré,
    Journal of Logic, Language and Information, 9:213-236, 2000.
34. Tractable Transformations from Modal Provability Logics into First-Order Logic.
    Stéphane Demri and Rajeev Goré,
    In CADE99: Proceedings of the International Conference on Automated Deduction, LNCS 1632:16-30, 1999. Copyright Springer.
35. System Description: KtSeqC.
    Vijay Boyapati and Rajeev Goré,
    In TABLEAUX99: Proceedings of the International Conference on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1617: 29-31, 1999. Copyright Springer. See KtSeqC web page.
36. Cut-free Display Calculi for Nominal Tense Logics.
    Stéphane Demri and Rajeev Goré,
    In TABLEAUX99: Proceedings of the International Conference on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1617:155-170, 1999. Copyright Springer.
37. Tableau Methods for Modal and Temporal Logics (old draft as gzipped postscript) (old draft as gzipped dvi) (errata and addendum)
    Rajeev Goré
    in Handbook of Tableau Methods, M D'Agostino, D Gabbay, R Haehnle, J Posegga (Eds.)
    Kluwer Academic Publishers, pages 297-396, 1999.
38. A mechanised proof system for relation algebra using display logic.
    Jeremy Dawson and Rajeev Goré,
    In JELIA98: Proceedings of Logic in Artificial Intelligence, LNAI 1489:264-278, 1998. Copyright Springer.
39. CardTAP: Automated theorem proving on a smart card.
    Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
    AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:239-248, Springer, 1998. Copyright Springer. See CardTAP web page for web demonstration.
40. A Mechanisation of Classical Tense Display Logic.
    Jeremy Dawson and Rajeev Goré,
    AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:107-118, Springer, 1998. Copyright Springer.
41. A Labelled Sequent System for Tense Logic Kt.
    Nicolette Bonnette and Rajeev Goré,
    AI98: Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI 1502:71-82, Springer, 1998. Copyright Springer.
42. System Description: LeanK 2.0. Free Variable Tableaux for Propositional Modal Logics: Decision Procedures.
    Bernhard Beckert and Rajeev Goré
    Proceedings of the International Conference on Automated Deduction, LNAI 1421:51-55 Lindau, 1998, Springer. Copyright Springer.
43. System Description: CardTAP The First Theorem Prover on a Smart Card.
    Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
    Proceedings of the International Conference on Automated Deduction, Lindau, 1998, LNAI 1421:47-50, 1998, Springer. Copyright Springer. See CardTAP web page for web demonstration.
44. Gaggles, Gentzen and Galois: How to display you favourite substructural logic.
    Rajeev Goré
    Logic Journal of the IGPL, 6(5):669-694, 1998. gzipped poscript poscript adobe pdf dvi
    
45. Substructural Logics On Display
    Rajeev Goré
    Logic Journal of the IGPL, 6(3):451-504, 1998. gzipped postscript postscript adobe pdf dvi
46. Free Variable Tableaux for Propositional Modal Logics.
    Bernhard Beckert and Rajeev Goré
    in TABLEAUX'97 Proceedings of the International Conference on Analytic Tableaux and Related Methods, LNAI 1227, pp:91-106, 1997, Springer. Copyright Springer.
47. Relations Between Propositional Normal Modal Logics: an overview.
    Rajeev Goré, Wolfgang Heinle and Alain Heuerding
    Journal of Logic and Computation, 7(5):649-658, October, 1997.
48. Cut-free Display Calculi for Relation Algebras.
    Rajeev Goré
    in CSL96: Selected Papers of the Annual European Conference on Computer Science Logic, September 1996,
    LNCS 1258 pp:198-210 1997, Springer. Copyright Springer.
49. On the Completeness of Classical Tense Display Logic.
    Rajeev Goré
    in Proof Theory of Modal Logic, Heinrich Wansing (Ed.), Kluwer, Applied Logic Series, Vol 2:137-140, 1996.