Matteo Pascucci

HD 04 19
Favoritenstrasse 9
Postdoctoral researcher

Research Interests

Modal logic, temporal logic, deontic logic, formal analysis of indeterminism.

Current Position

Postdoctoral researcher within the project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts since June 2017. Principal Investigator: Prof. Agata Ciabattoni.


  • "Notions of instrumentality in agency logic" (joint work with Kees van Berkel). In: T. Miller, O. Nir, Y. Sakurai, I. Noda, B.T.R. Savarimuthu and S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems, p. 403-419, 2018.
  • "Anderson's restriction of deontic modalities to contingent propositions". Theoria 83(4), p. 440-470, 2017.
  • "A unified semantics for a family of modal logics with propositional constants". Logica Universalis 10(1), p. 45-66, 2016.
  • "Two temporal logics of contingency". Australasian Journal of Logic 12(2), p. 121-134, 2015.
  • "Influence of world knowledge and context on the comprehension of natural language translation of logical formulas" (joint work with Luca Cilibrasi). In: C. Ciarlo, and D. Giannoni (eds.), Language Studies Working Papers, Vol. 5, p. 13-21, 2013 .

PhD thesis

"Modal logics with propositional constants".
Department of Computer Science, University of Verona, Italy, 2016. Supervisor: Prof. Andrea Masini.