Massimo Franceschet (franceschet)

Contributi a Philosophie.ch

Bibliography

Cervesato, Iliano, Franceschet, Massimo and Montanari, Angelo. 1998. “The Complexity of Model Checking in Modal Event Calculi with Quantifiers.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 368–379. San Francisco, California: Morgan Kaufmann Publishers.