Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
Close
Practical matters How to find us D.R.S. (Revantha) Ramanayake, PhD

D.R.S. (Revantha) Ramanayake, PhD

Assistant Professor
Profielfoto van D.R.S. (Revantha) Ramanayake, PhD
No picture available
E-mail:
d.r.s.ramanayake rug.nl
Research interests Publications

Research interests

  • Non-classical logics (substructural, modal, intermediate logics) and their applications in theoretical computer science
  • Using proof theory to investigate various aspects of logics, like decidability, complexity, interpolation
  • Structural proof theory: relative expressivity of proof formalisms
  • Development of interactive/automated verification of structural proof theory using proof assistants
  • Formal logics for the provability predicate of arithmetic (provability logics)

Publications

Bounded-analytic sequent calculi and embeddings for hypersequent logics

Ramanayake, R. , Lang, T. & Ciabattoni, A. , Jun-2021 , In: Journal of Symbolic Logic. 86 , 2 , p. 635-668

Research output: Contribution to journal › Article › Academic › peer-review

Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq

Gore, R. , Ramanayake, R. & Shillito, I. , 2021 , Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021.. Das, A. & Negri, S. (eds.). Cham: Springer , p. 299-313 14 p. ( Lecture Notes in Computer Science; vol. 12842)(Lecture Notes in Artificial Intelligence ; vol. 12842).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

Balasubramanian, A. R. , Lang, T. & Ramanayake, R. , 7-Jul-2021 , 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE , 13 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Display to Labeled Proofs and Back Again for Tense Logics

Ciabattoni, A. , Lyon, T. , Ramanayake, R. & Tiu, A. , 22-Jul-2021 , In: ACM Transactions on Computational Logic. 22 , 3 , 31 p. , 2.

Research output: Contribution to journal › Article › Academic › peer-review

Extended Kripke lemma and decidability for hypersequent substructural logics

Ramanayake, R. , 8-Jul-2020 , Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). ACM Press Digital Library , p. 795–806 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Bounded Sequent Calculi for Non-classical Logics via Hypersequents

Ciabattoni, A. , Lang, T. & Ramanayake, R. , 2019 , Automated Reasoning with Analytic Tableaux and Related Methods. Cerrito, S. & Popescu, A. (eds.). Springer , p. 94-110 17 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Sequentialising Nested Systems

Pimentel, E. , Ramanayake, R. & Lellmann, B. , 2019 , Automated Reasoning with Analytic Tableaux and Related Methods. Cerrito, S. & Popescu, A. (eds.). Springer , p. 147-165 19 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

From Display to Labelled Proofs for Tense Logics

Ciabattoni, A. , Lyon, T. & Ramanayake, R. , 2018 , Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Springer , p. 120-139 20 p. (Lecture Notes in Computer Science (LNCS); vol. 10703).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Inducing syntactic cut-elimination for indexed nested sequents

Ramanayake, R. , 2018 , In: Logical Methods in Computer Science. 14 , 4 , 25 p. , 18.

Research output: Contribution to journal › Article › Academic › peer-review

Bunched Hypersequent Calculi for Distributive Substructural Logics

Ciabattoni, A. & Ramanayake, R. , 2017 , LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (eds.). EasyChair , Vol. 46 . p. 417-434 18 p. (EPiC Series in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Read more
View full research profile
Follow the UGfacebook twitter linkedin rss instagram youtube

The UG website uses functional and anonymous analytics cookies. Please answer the question of whether or not you want to accept other cookies (such as tracking cookies). If no choice is made, only basic cookies will be stored. More information

Basic
The basic functions of the website are available. We analyse click behaviour anonymously in order to make our website more user-friendly.
Limited
In addition to functional cookies you can also view embedded content, such as YouTube videos. If you accept these cookies, the website will function optimally.
All
In addition to the optimal functioning of the website, we work together with third parties to offer you personalized content based on your visit.
The UG website uses functional and analytics cookies. Please select your preferences. Read our privacy and cookie disclaimer for more information.