Antonino Rotolo (rotolo-a)
Contributions to Philosophie.ch
No contributions yet
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.