Revantha Ramanayake (ramanayake-r)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Goré, Rajeev and Ramanayake, Revantha. 2008. “Valentini’s Cut-Elimination for Provability Logic Resolved.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 67–86. London: College Publications.
Goré, Rajeev and Ramanayake, Revantha. 2012. “Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 279–299. London: King’s College Publications.