Revantha Ramanayake

41 papers A* 3A 1B 9C 1Misc 1Journal 22Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hypersequent Calculi Have Ackermannian Complexity.
CoRR
A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake
2025 B conf
Analytic Proofs for Tense Logic.
TABLEAUX
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2025 J jnl
Complexities of Well-Quasi-Ordered Substructural Logics.
CoRR
Nikolaos Galatos, Vitor Greati, Revantha Ramanayake, Gavin St. John
2025 J jnl
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy.
CoRR
Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake
2025 J jnl
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof.
CoRR
Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen, Revantha Ramanayake, Valentina Trucco Dalmas, Yde Venema
2025 J jnl
Tight length theorems for multiset extensions of Higman's lemma.
Theor. Comput. Sci.
Vitor Greati, Revantha Ramanayake
2024 B conf
Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete.
AiML
Vitor Greati, Revantha Ramanayake
2024 J jnl
Deducibility in the full Lambek calculus with weakening is HAck-complete.
CoRR
Vitor Greati, Revantha Ramanayake
2024 — conf
Implementing Intermediate Logics.
ARQNL@IJCAR
Bastiaan Haaksema, Jens Otten, Revantha Ramanayake
2024 — ed.
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 1, 2024.
ARQNL@IJCAR
Christoph Benzmüller, Jens Otten, Revantha Ramanayake
2023 — conf
Analytic Proof Theory for Åqvist's System F.
DEON
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
2023 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
TABLEAUX
Revantha Ramanayake, Josef Urban
2023 A* conf
Cut-Restriction: From Cuts to Analytic Cuts.
LICS
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023 J jnl
Cut-restriction: from cuts to analytic cuts.
CoRR
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023 J jnl
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
CoRR
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2022 J jnl
A theory of cut-restriction: first steps.
CoRR
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2021 J jnl
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.
J. Symb. Log.
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2021 B conf
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.
TABLEAUX
Rajeev Goré, Revantha Ramanayake, Ian Shillito
2021 A* conf
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.
LICS
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
2021 J jnl
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.
CoRR
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
2021 J jnl
Display to Labeled Proofs and Back Again for Tense Logics.
ACM Trans. Comput. Log.
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2020 A* conf
Extended Kripke lemma and decidability for hypersequent substructural logics.
LICS
Revantha Ramanayake
2019 B conf
Bounded Sequent Calculi for Non-classical Logics via Hypersequents.
TABLEAUX
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2019 J jnl
Display to Labelled Proofs and Back Again for Tense Logics.
CoRR
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2019 B conf
Sequentialising Nested Systems.
TABLEAUX
Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
2018 Misc conf
From Display to Labelled Proofs for Tense Logics.
LFCS
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake
2018 J jnl
Inducing syntactic cut-elimination for indexed nested sequents.
Log. Methods Comput. Sci.
Revantha Ramanayake
2018 J jnl
Substructural logics:
ACM SIGLOG News
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake
2017 B conf
Bunched Hypersequent Calculi for Distributive Substructural Logics.
LPAR
Agata Ciabattoni, Revantha Ramanayake
2017 J jnl
Inducing syntactic cut-elimination for indexed nested sequents.
CoRR
Revantha Ramanayake
2016 — conf
From Axioms to Proof Rules, then add Quantifiers.
ARQNL@IJCAR
Revantha Ramanayake
2016 A conf
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.
IJCAR
Revantha Ramanayake
2016 J jnl
Non-commutative classical arithmetical sequent calculi are intuitionistic.
Log. J. IGPL
Revantha Ramanayake
2016 J jnl
Power and Limits of Structural Display Rules.
ACM Trans. Comput. Log.
Agata Ciabattoni, Revantha Ramanayake
2015 J jnl
Embedding the hypersequent calculus in the display calculus.
J. Log. Comput.
Revantha Ramanayake
2014 J jnl
Cut-elimination for Weak Grzegorczyk Logic Go.
Stud Logica
Rajeev Goré, Revantha Ramanayake
2014 J jnl
Hypersequent and Display Calculi - a Unified Perspective.
Stud Logica
Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing
2013 C conf
Structural Extensions of Display Calculi: A General Recipe.
WoLLIC
Agata Ciabattoni, Revantha Ramanayake
2012 B conf
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.
Advances in Modal Logic
Rajeev Goré, Revantha Ramanayake
2012 J jnl
Valentini's Cut-Elimination for Provability Logic resolved.
Rev. Symb. Log.
Rajeev Goré, Revantha Ramanayake
2008 B conf
Valentini's cut-elimination for provability logic resolved.
Advances in Modal Logic
Rajeev Goré, Revantha Ramanayake