Guido Governatori (governatori)

Beiträge zu Philosophie.ch

Bibliography

Artosi, Alberto, Benassi, Paola, Governatori, Guido and Rotolo, Antonino. 1996. “Labelled Proofs for Quantified Modal Logic.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 70–86. Berlin: Springer.
Artosi, Alberto, Benassi, Paola, Governatori, Guido and Rotolo, Antonino. 1998. “Shakespearian Modal Logic: A Labeled Treatment of Modal Identity.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 1–21. Stanford, California: CSLI Publications.
Artosi, Alberto, Governatori, Guido, Rotolo, Antonino and Sartor, Giovanni. 1996. “Towards a Computational Treatment of Deontic Defeasibility.” in \(\Delta\)EON’96. Deontic Logic, Agency and Normative Systems, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11–13 January 1996, edited by Mark A. Brown and José Carmo, pp. 27–46. Berlin: Springer.
Gabbay, Dov M. and Governatori, Guido. 1999. “Dealing with Label Dependent Deontic Modalities.” in Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, edited by Paul McNamara and Henry Prakken, pp. 311–330. Frontiers in Artificial Intelligence and its Applications. Amsterdam: IOS Press.
Governatori, Guido. 2008. “Labelled modal tableaux.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 87–110. London: College Publications.
Governatori, Guido, Hodkinson, Ian and Venema, Yde, eds. 2006. Advances in Modal Logic. vol. VI. London: King’s College Publications.