Matteo Pascucci

Room:
HD 04 19
Address:
Favoritenstrasse 9
Mail:
pascucci@logic.at
Function:
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.


Publications


PhD thesis

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


Other