Publications

1. A correct polynomial-time translation of S4 into intuitionistic logic.
   Rajeev Goré and James Thomson
   Accepted by the Journal of Symbolic Logic, to appear.
   
2. Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic.
   Jeremy E. Dawson, Rajeev Goré, Thomas Meumann
   In Proc. E-Voting and Identity - 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015.
   
3. Sequent Calculus in the Topos of Trees.
   Ranald Clouston, Rajeev Goré
   FoSSaCS 2015: 133-147
   
4. Verifying Voting Schemes.
   Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Börmer, Jian Wang
   Journal of Information Security and Applications, 19(2):115-129, 2014.
   
5. Cut-elimination for Weak Grzegorczyk Logic Go.
   Rajeev Goré, Revantha Ramanayake
   Studia Logica 102(1): 1-27 (2014)
   
6. And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.
   Rajeev Goré
   Invited Talk at IJCAR 2014: 26-45
   
7. Implementing Tableau Calculi Using BDDs: BDDTab System Description.
   Rajeev Goré, Kerry Olesen, Jimmy Thomson
   International Joint Conference on Automated Reasoning 2014: 337-343
   
8. A History-Based Theorem Prover for Intuitionistic Propositional Logic using Global Caching: IntHistGC System Description
   Rajeev Goré, Jimmy Thomson and Jesse Wu
   Proc. IJCAR 2014: International Joint Conference on Automated Reasoning 2014.
   Lecture Notes in Computer Science, volume 8562, pp 262-268, Springer 2014
   Errata: In Figure 6 on page 267: the entries under BDD and fCube for the first row (class SYJ201+1.050) should be interchanged. Also, 31.794 should be just 31.79.
   
9. Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting.
   Rajeev Goré, Thomas Meumann
   EVOTE 2014: 1-7
   
10. From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic.
    Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
    IFIP TCS 2014: 250-264
    
11. Proof search for propositional abstract separation logics via labelled sequents.
    Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu
    POPL 2014: 465-476
    
12. Advances in Modal Logic 10
    Rajeev Goré, Barteld P. Kooi, Agi Kurucz
    Proceedings of the tenth conference on Advances in Modal Logic, Groningen, The Netherlands, August 5-8, 2014. College Publications 2014, ISBN 978-1-84890-151-3
    
13. Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
    Bernhard Beckert, Thorsten Börmer, Rajeev Goré, Michael Kisten, Thomas Meumann
    VERIFY 2014: Workshop associated with IJCAR 2014: International Joint Conference on Automated Reasoning 2014.
    
14. 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.
    
15. 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
    
16. 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
17. 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.
18. 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.
    
19. 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.
    
20. BDD-based automated reasoning in propositional non-classical logics: progress report
    Rajeev Goré and Jimmy Thomson
    PAAR 2012, CEUR Proceedings, to appear
    
21. 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
22. 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
23. 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
24. 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.
25. 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
    
26. EXPTIME Tableaux for ALC Using Sound Global Caching
    Rajeev Goré and Linh Anh Nguyen
    Journal of Automated Reasoning, 50:4, pp 355-381, 2013.
27. 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
28. 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
29. 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
30. 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.
31. 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
32. 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,
33. 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).
34. 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.
    
35. 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.
36. 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
37. 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.
38. 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.
39. 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
40. Global Caching, Inverse Roles and Fixpoint Logics.
    Rajeev Goré
    In Proc. DL~2009: Proc. Workshop on Description Logic, 2009.
41. 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.
42. 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
43. 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
44. 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.
45. 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
46. 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
47. Clausal Tableaux for Multimodal Logics of Belief
    Rajeev Goré and Linh Anh Nguyen
    Fundamenta Informaticae, 94:1-20, 2009,
48. 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.
49. System Description: The Tableau Work Bench
    Pietro Abate and Rajeev Goré
    Methods for Modalities 2007, ENTCS~231:55-67, 2009.
    
50. 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.
    
51. 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
    
52. 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
    
53. 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.
    
54. 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
    
55. One-pass Tableaux for Computation Tree Logic
    Pietro Abate, Rajeev Goré and Florian Widmann
    Proc. LPAR 2007 LNCS~4790:32-46, Springer 2007.
    
56. 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.
    
57. 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
58. 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.
59. 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.
60. 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.
    
61. 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.
62. 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
63. 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.
    
64. 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.
    
65. 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.
    
66. 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.
    
67. 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.
    
68. 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
    
69. 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.
    
70. Display calculi for nominal tense logics
    Stéphane Demri and Rajeev Goré,
    Journal of Logic and Computation, 12(6):993-1016, 2002. ps pdf
    
71. 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
    
72. 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
73. 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
74. 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
    
75. 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
    
76. Free-variable Tableaux for Propositional Modal Logics
    Bernhard Beckert and Rajeev Goré
    Studia Logica 69:59-96, 2001, Copyright Kluwer gzipped postscript file
    
77. 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
    
78. 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.
    
79. 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.
80. 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
    
81. 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.
    
82. Dual Intuitionistic Logic Revisited
    Rajeev Goré,
    In TABLEAUX00: Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1847:252-267, 2000. Copyright Springer. (errata)
    
83. 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.
84. Display Calculi for Logics with Relative Accessibility Relations.
    Stéphane Demri and Rajeev Goré,
    Journal of Logic, Language and Information, 9:213-236, 2000.
85. 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.
86. 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.
87. 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.
88. 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.
89. 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.
90. 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.
91. 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.
92. 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.
93. 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.
94. 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.
95. 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
    
96. Substructural Logics On Display
    Rajeev Goré
    Logic Journal of the IGPL, 6(3):451-504, 1998. gzipped postscript postscript adobe pdf dvi
97. 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.
98. 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.
99. 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.
100. 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.
101. Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics.
     Rajeev Goré
     Studia Logica 53 (1994) 433-457.
102. Semi-analytic Tableaux for Propositional Modal Logics with Applications to Nonmonotonicity.
     Rajeev Goré
     Logique et Analyse Vol. 133-134 (1991) pp. 73-104.
103. 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)
     
104. Automatic Synthesis of Boolean Equations Using Programmable Array Logic.
     Rajeev Goré and Kotagiri Ramamohanarao
     Proceedings of the 26th ACM-IEEE Design Automation Conference 1989.