Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/ramanayake-r

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.