Goré, Rajeev; Shillito, Ian Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F45 03B35 03F05 PDFBibTeX XMLCite \textit{R. Goré} and \textit{I. Shillito}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 429--449 (2022; Zbl 1518.03015)
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{C. D'Abrera} et al., Lect. Notes Comput. Sci. 12842, 281--298 (2021; Zbl 07532522) Full Text: DOI
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen A labelled sequent calculus for BBI: proof theory and proof search. (English) Zbl 1444.03159 J. Log. Comput. 28, No. 4, 809-872 (2018). MSC: 03F03 03B35 03F05 68V15 PDFBibTeX XMLCite \textit{Z. Hóu} et al., J. Log. Comput. 28, No. 4, 809--872 (2018; Zbl 1444.03159) Full Text: DOI arXiv Link
Dawson, Jeremy E.; Goré, Rajeev; Wu, Jesse Machine-checked proof-theory for propositional modal logics. (English) Zbl 1439.03035 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 173-243 (2016). MSC: 03B35 03B45 03F03 03F05 PDFBibTeX XMLCite \textit{J. E. Dawson} et al., Prog. Comput. Sci. Appl. Log. 28, 173--243 (2016; Zbl 1439.03035) Full Text: DOI
Clouston, Ranald; Goré, Rajeev Sequent calculus in the topos of trees. (English) Zbl 1461.03060 Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 133-147 (2015). MSC: 03G30 03F03 03F05 PDFBibTeX XMLCite \textit{R. Clouston} and \textit{R. Goré}, Lect. Notes Comput. Sci. 9034, 133--147 (2015; Zbl 1461.03060) Full Text: DOI arXiv Link
Goré, Rajeev; Ramanayake, Revantha Cut-elimination for weak Grzegorczyk logic Go. (English) Zbl 1329.03056 Stud. Log. 102, No. 1, 1-27 (2014). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{R. Goré} and \textit{R. Ramanayake}, Stud. Log. 102, No. 1, 1--27 (2014; Zbl 1329.03056) Full Text: DOI
Hóu, Zhé; Tiu, Alwen; Goré, Rajeev A labelled sequent calculus for BBI: proof theory and proof search. (English) Zbl 1401.03098 Galmiche, Didier (ed.) et al., Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40536-5/pbk). Lecture Notes in Computer Science 8123. Lecture Notes in Artificial Intelligence, 172-187 (2013). MSC: 03F03 03B35 03F05 68T15 PDFBibTeX XMLCite \textit{Z. Hóu} et al., Lect. Notes Comput. Sci. 8123, 172--187 (2013; Zbl 1401.03098) Full Text: DOI Link
Goré, Rajeev; Ramanayake, Revantha Labelled tree sequents, tree hypersequents and nested (deep) sequents. (English) Zbl 1296.03031 Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 279-299 (2012). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03F05 03F45 PDFBibTeX XMLCite \textit{R. Goré} and \textit{R. Ramanayake}, in: Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22--25, 2012. London: College Publications. 279--299 (2012; Zbl 1296.03031)
Dawson, Jeremy E.; Goré, Rajeev Generic methods for formalising sequent calculi applied to provability logic. (English) Zbl 1307.03033 Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 263-277 (2010). MSC: 03F45 03F05 68T15 PDFBibTeX XMLCite \textit{J. E. Dawson} and \textit{R. Goré}, Lect. Notes Comput. Sci. 6397, 263--277 (2010; Zbl 1307.03033) Full Text: DOI Link
Goré, Rajeev; Tiu, Alwen Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. (English) Zbl 1126.03023 J. Log. Comput. 17, No. 4, 767-794 (2007). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{R. Goré} and \textit{A. Tiu}, J. Log. Comput. 17, No. 4, 767--794 (2007; Zbl 1126.03023) Full Text: DOI Link
Dawson, Jeremy E.; Goré, Rajeev A mechanised proof system for relation algebra using display logic. (English) Zbl 0928.03007 Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12–15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 264-278 (1998). MSC: 03B35 03F05 03G15 PDFBibTeX XMLCite \textit{J. E. Dawson} and \textit{R. Goré}, Lect. Notes Comput. Sci. 1489, 264--278 (1998; Zbl 0928.03007)
Goré, Rajeev Gaggles, Gentzen and Galois: How to display your favourite substructural logic. (English) Zbl 0917.03025 Log. J. IGPL 6, No. 5, 669-694 (1998). Reviewer: G.Mints (Stanford) MSC: 03F05 03B47 PDFBibTeX XMLCite \textit{R. Goré}, Log. J. IGPL 6, No. 5, 669--694 (1998; Zbl 0917.03025) Full Text: DOI