Rajeev Goré (gore-r)

Beiträge zu Philosophie.ch

Bibliography

Beckert, Bernhard and Goré, Rajeev. 2001. “Free-Variable Tableaux for Propositional Modal Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 59–96.
Davoren, Jen M. and Goré, Rajeev. 2002. “Bimodal Logics for Reasoning About Continuous Dynamics.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 91–111. Singapore: World Scientific Publishing Co.
Demri, Stéphane and Goré, Rajeev. 2000. “Display Calculi for Logics with Relative Accessibility Relations.” Journal of Logic, Language, and Information 9(2): 213–236.
Forster, Thomas and Goré, Rajeev. 2016. “Yablo’s Paradox as a Theorem of Modal Logic.” Logique et Analyse 59(235): 265–271.
Goré, Rajeev. 1991. “Semi-Analytic Tableaux for Propositional Normal Modal Logics with Application to Nonmonotonicity.” Logique et Analyse 34(133–134): 73–103.
Goré, Rajeev. 1999. “Tableau Methods for Modal and Temporal Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 297–396. Berlin: Springer.
Goré, Rajeev. 2000. “Review of Wansing (1998).” Journal of Logic, Language, and Information 9(2): 269–272.
Goré, Rajeev, Kooi, Barteld P. and Kurucz, Ágnes, eds. 2014. Advances in Modal Logic. vol. X. London: King’s College Publications.
Goré, Rajeev, Postniece, Linda and Tiu, Alwen. 2008. “Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 43–66. London: College Publications.
Goré, Rajeev, Postniece, Linda and Tiu, Alwen. 2010. “Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 156–177. London: King’s College Publications.
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.
Tiu, Alwen, Ianovski, Egor and Goré, Rajeev. 2012. “Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 516–537. London: King’s College Publications.

Further References

Wansing, Heinrich Theodor. 1998. Displaying Modal Logic. Dordrecht: Kluwer Academic Publishers.