Projects per year
Personal profile
Related documents
Fingerprint
Dive into the research topics where Matteo Pascucci is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 1 Active
-
MODREQUAM: Modal Reasoning, Quarc and Metaphysics
Pascucci, M. (PI)
Austrian Science Fund (FWF) - Principal Investigator Project
1/02/24 → 31/01/28
Project: Research
-
Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic
Frijters, S. & Pascucci, M., 2025, In: CEUR Workshop Proceedings. 3904, p. 57-63 7 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Hyperintensional models for non-congruential modal logics
Pascucci, M. & Sedlár, I., 1 Oct 2025, In: Logic Journal of the Igpl. 33, 5, 21 p., jzad018.Research output: Contribution to journal › Article › peer-review
-
Decidability of ordered fragments of FOL via modal translation
Yin, H. & Pascucci, M., 2024, In: CEUR Workshop Proceedings. 3733Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Introduction temporal reasoning and tensed truths
Grandjean, V. & Pascucci, M., 3 Jul 2024, In: Synthese. 204, 1, 22.Research output: Contribution to journal › Article
-
Modal Categorical Inferences in Quarc
Vonlanthen, S. D. & Pascucci, M., 2024, In: CEUR Workshop Proceedings. 3763, p. 48-59 12 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile