Publications

  1. Computer-aided decision-making with trust relations and trust domains (cryptographic applications)*
    Simon Kramer, Rajeev Goré and Eiji Okamoto
    Journal of Logic and Computation Volume 24, Issue 1 pages 19-54. Oxford University Press, 2014.
  2. Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme
    Bernhard Beckert, Rajeev Goré and Carsten Schürmann
    Proc. CADE 2013: International Conference on Automated Deduction, Springer LNCS 7898:135-144
  3. An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description.
    Rajeev Goré, Jimmy Thomson
    Proc. CADE 2013: International Conference on Automated Deduction, Springer LNCS 7898:275-281
  4. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic
    Ranald Clouston, Jeremy E. Dawson, Rajeev Goré and Alwen Tiu
    Proc. CSL 2013: European Conferences on Computer Science Logics, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, 23:197-214.
  5. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.
    Zhe Hou, Alwen Tiu and Rajeev Goré
    Proc. TABLEAUX 2013: International Conference on Theorem Proving with Analytic Tableaux and Related Methods Springer, LNCS 8123:172-187.
  6. On the Specification and Verification of Voting Schemes.
    Bernhard Beckert, Rajeev Goré and Carsten Schürmann
    Proc. VOTE-ID 2013 International Conference on E-Voting and Identify Springer, LNCS 7985:25-40.
  7. BDD-based automated reasoning in propositional non-classical logics: progress report
    Rajeev Goré and Jimmy Thomson
    PAAR 2012, CEUR Proceedings, to appear
  8. Cut-elimination for Weak Grzegorczyk Logic Go
    Rajeev Goré and Revantha Ramanayake
    Studia Logica 2012, Copyright Kluwer, to appear
  9. Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents
    Rajeev Goré and Revantha Ramanayake
    Proc. AiML 2012: International Conference on Advances in Modal Logic 2012.
    College Publications, 2012
  10. Grammar Logics in Nested Sequen Calculus: Proof Theory and Decision Procedures
    Alwen Tiu, Egor Ianovski and Rajeev Goré
    Proc. AiML 2012: International Conference on Advances in Modal Logic 2012.
    College Publications, 2012
  11. BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics.
    Rajeev Goré, Jimmy Thomson
    Proc. IJCAR 2012: International Joint Conference on Automated Reasoning 2012.
    Lecture Notes in Computer Science, volume 7364, pp 301-315, Springer 2012
  12. An Iterative Approach to Synthesise Business Process Templates from Compliance Rules.
    Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich
    Information Systems, 37:714-736, 2012.
  13. Valentini's Cut-elimination for Provability Logic Resolved
    Rajeev Goré and Revantha Ramanayake
    Review of Symbolic Logic, Volume 5, Issue 02, June 2012, pp 212-238
  14. EXPTIME Tableaux for ALC Using Sound Global Caching
    Rajeev Goré and Linh Anh Nguyen
    Journal of Automated Reasoning, 50:4, pp 355-381, 2013.
  15. An Experimental Comparison of Theorem Provers for CTL.
    Rajeev Goré, Jimmy Thomson, and Florian Widmann
    In TIME 2011: Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
    IEEE, pp 49-56, 2011
  16. An Iterative Approach for Business Process Template Synthesis from Compliance Rules.
    Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich
    In Proc CAiSE 2011: Proceedings of the International Conference on Advanced Information Systems Engineering.
    Haralambos Mouratidis and Colette Rolland (Eds), LNAI 6741:406-421, Springer, 2011
  17. Craig Interpolation in Displayable Logics
    James Brotherston and Rajeev Goré
    In TABLEAUX 2011: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
    Kai Bruennler and George Metcalfe (Eds), LNAI 6793:88-103, Springer, 2011
  18. On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
    R Goré, L Postniece and A Tiu
    Logical Methods in Computer Science 7 (2:8) 2011.
  19. Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic
    R Goré, L Postniece and A Tiu
    Proc Advances in Modal Logic, Mocow 2010, 15 pages, to appear
  20. Formal Definitions and Complexity Results for Trust Relations and Trust Domains
    S Kramer and R Goré and E. Okamoto
    Proceedings of the ESSLLI-affiliated Workshop on Logics in Security, pp 122-147, 2010,
  21. Short Paper: Semantic Sensor Composition
    Khoi-Nguyen Tran, Michael Compton, Jemma Wu and Rajeev Goré
    In SSN10: Proc. 3rd International Workshop on Semantic Sensor Networks
    November, 2010. Central European (CEUR) Workshop Proceedings (to appear).
  22. Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
    Jeremy Dawson and Rajeev Goré
    Proc. LPAR (Yogyakarta) 2010 LNCS~6397:263-277, Springer 2010.
  23. Optimal Tableau Algorithms for Coalgebraic Logics
    Rajeev Goré, Clemens Kupke and Dirk Pattinson
    In TACAS 2010: Proc. Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems.
    LNCS 6015:114-128, 2010.
  24. A Proof-theoretic Analysis of Intruder Theories
    Alwen Tiu, Rajeev Goré and Jeremy Dawson
    Logical Methods in Computer Science, 6(3:12):1-37, 2010
  25. Global Caching for Coalgebraic Description Logics.
    Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
    In IJCAR 2010: Proceedings of the International Joint Conference on Automated Reasoning, LNCS 6173:46-60, 2010.
  26. Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
    Rajeev Goré and Florian Widmann
    In IJCAR 2010: Proceedings of the International Joint Conference on Automated Reasoning, LNCS 6173:225-239, 2010.
  27. Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
    Rajeev Goré and Linda Postniece
    Journal of Logic and Computation, 20(1):233-260, Oxford University Press, 2010
  28. Global Caching, Inverse Roles and Fixpoint Logics.
    Rajeev Goré
    In Proc. DL~2009: Proc. Workshop on Description Logic, 2009.
  29. Machine Checking Proof Theory: An Application of Logic to Logic.
    Rajeev Goré
    In Proc. ICLA 2009: Proc. Indian Conference on Logic and Applications, pp~23-35, 2009.
  30. A first-order policy language for history-based transaction monitoring
    Andreas Bauer, Rajeev Goré and Alwen Tiu
    In ICTAC 2009: Proceedings of the International Colloquium on Theoretical Aspects of Computing
    LNCS 5684:96-111, Springer, 2009
  31. A proof theoretic analysis of intruder theories
    Alwen Tiu and Rajeev Goré
    In RTA 2009: Proceedings of the International Conference on Rewriting Techniques and Applications.
    Ralf Trinen (Ed), LNCS 5595:103-117, Springer, 2009
  32. An Optimal On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
    Rajeev Goré and Florian Widmann.
    In CADE 2009: Proceedings of the International Conference on Automated Reasoning.
    R Schmidt (Ed), LNCS 5663:437-452, Springer, 2009.
  33. Taming Displayed Tense Logics Using Nested Sequents With Deep Inference
    Rajeev Goré and Linda Postniece and Alwen Tiu
    In TABLEAUX 2009: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
    M Giese and A Waaler (Eds), LNCS 5607:189-204, Springer, 2009
  34. Sound Global State Caching for ALC with Inverse Roles
    Rajeev Goré and Florian Widmann.
    In TABLEAUX 2009: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
    M Giese and A Waaler (Ed), LNCS 5607:205-219, Springer, 2009
  35. Clausal Tableaux for Multimodal Logics of Belief
    Rajeev Goré and Linh Anh Nguyen
    Fundamenta Informaticae, 94:1-20, 2009,
  36. Termination of Abstract Reduction Systems
    Jeremy E Dawson and Rajeev Goré
    International Journal of Foundations of Computer Science, Volume 20, Number 1, February 2009, pages 57-82, World Scientific.
  37. System Description: The Tableau Work Bench
    Pietro Abate and Rajeev Goré
    Methods for Modalities 2007, ENTCS~231:55-67, 2009.
  38. An On-the-fly Tableau-based Decision Procedure for PDL
    Pietro Abate, Rajeev Goré and Florian Widmann
    Proc. Methods for Modalities 2007, ENTCS~231:191-209, 2009.
  39. Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
    Rajeev Goré, Linda Postniece and Alwen Tiu Proceedings of Adavances in Modal Logic 2008, pp 43-66, College Publications
  40. Valentini's Cut-elimination for Provability Logic Resolved
    Rajeev Goré and Revantha Ramanayake Proceedings of Adavances in Modal Logic 2008, pp 67-86, College Publications
  41. An Experimental Evaluation of Global Caching for ALC (System Description)
    Rajeev Goré and Linda Postniece Automated Reasoning, Proceedings of IJCAR 2008, LNCS:5195 Springer 2008.
  42. 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
  43. One-pass Tableaux for Computation Tree Logic
    Pietro Abate, Rajeev Goré and Florian Widmann
    Proc. LPAR 2007 LNCS~4790:32-46, Springer 2007.
  44. Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
    Rajeev Goré and Linh Anh Nguyen
    Proc. CLIMA-VIII: Computational Logic in Multi-Agent Systems
    LNAI 5056 268-287, 2008.
  45. 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
  46. 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.
  47. 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.
  48. EXPTIME Tableaux for ALC Using Sound Global Caching
    Errata
    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.
  49. 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.
  50. 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
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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
  57. 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.
  58. Display calculi for nominal tense logics
    Stéphane Demri and Rajeev Goré,
    Journal of Logic and Computation, 12(6):993-1016, 2002. ps pdf
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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
  64. Free-variable Tableaux for Propositional Modal Logics
    Bernhard Beckert and Rajeev Goré
    Studia Logica 69:59-96, 2001, Copyright Kluwer gzipped postscript file
  65. 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
  66. 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.
  67. 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.
  68. 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
  69. 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.
  70. Dual Intuitionistic Logic Revisited
    Rajeev Goré,
    In TABLEAUX00: Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1847:252-267, 2000. Copyright Springer. (errata)
  71. 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.
  72. Display Calculi for Logics with Relative Accessibility Relations.
    Stéphane Demri and Rajeev Goré,
    Journal of Logic, Language and Information, 9:213-236, 2000.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.
  78. 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.
  79. 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.
  80. 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.
  81. 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.
  82. 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.
  83. 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
  84. Substructural Logics On Display
    Rajeev Goré
    Logic Journal of the IGPL, 6(3):451-504, 1998. gzipped postscript postscript adobe pdf dvi
  85. 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.
  86. 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.
  87. 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.
  88. 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.
  89. Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics.
    Rajeev Goré
    Studia Logica 53 (1994) 433-457.
  90. Semi-analytic Tableaux for Propositional Modal Logics with Applications to Nonmonotonicity.
    Rajeev Goré
    Logique et Analyse Vol. 133-134 (1991) pp. 73-104.
  91. Cut-free Sequent and Tableau Systems for Propositional Normal Modal Logics.
    Rajeev Goré
    Technical Report Number 257, Computer Laboratory, University of Cambridge, England, (1992) 160 pages,
    (doctoral dissertation with Errata)
  92. Automatic Synthesis of Boolean Equations Using Programmable Array Logic.
    Rajeev Goré and Kotagiri Ramamohanarao
    Proceedings of the 26th ACM-IEEE Design Automation Conference 1989.