Matteo Tesi

Projektass. / PhD

Role

PostDoc Researcher
Theory and Logic, E192-05

Contact

Projects

Logical methods for Deontic Explanations
2024 – 2026 / Austrian Science Fund (FWF)
Publications: 193684 / 193611 / 193531 / 195506 / 199778 / 199737 / 199833 / 199690 / 200681 / 200686 / 200696 / 202365 / 204587 / 204297 / 205612

Publications

Logic, contradictions and fractional interpretations / Tesi, M. (2024, June). Logic, contradictions and fractional interpretations [Conference Presentation]. 1st SNS-KCLL Logic and Philosophy of Mathematics Meeting (2024), Pisa, Italy.
Ways to infinity in structural proof theory / Tesi, M. (2024, June). Ways to infinity in structural proof theory [Conference Presentation]. PLEXUS Workshop on Substructural and Non-Classical Logics, Turin, Italy.
Project: LoDEx (2024–2026)
Analyticity with extra-logical information / Piazza, M., & Tesi, M. (2024). Analyticity with extra-logical information. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exae013
Download: PDF (1.15 MB)
Project: LoDEx (2024–2026)
Logic, contradictions and fractional interpretations / Tesi, M. (2024, April). Logic, contradictions and fractional interpretations [Presentation]. Logic Seminar in Urbino, 2024, Urbino, Italy.
Sequents vs. Hypersequents for deontic logics / Tesi, M. (2024, March). Sequents vs. Hypersequents for deontic logics [Conference Presentation]. Proof, Argumentation, Computation, Modalities and Negation (PACMAN 2024), Verona, Italy.
Project: LoDEx (2024–2026)
Constructive theories through a modal lens / Tesi, M. (2024, February 15). Constructive theories through a modal lens [Conference Presentation]. Workshop “The art of Proofs,” Bologna, Italy.
Project: LoDEx (2024–2026)
Subintuitionistic logics and their modal companions: a nested approach / Tesi, M. (2024, January 18). Subintuitionistic logics and their modal companions: a nested approach [Presentation]. Logic Seminar Verona 2024, Verona, Italy.
Project: LoDEx (2024–2026)
A Syntactic Proof of the Decidability of First-Order Monadic Logic / Orlandelli, E., & Tesi, M. (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, 53(2), 223–244. https://doi.org/10.18778/0138-0680.2024.03
Project: LoDEx (2024–2026)
Sequents vs Hypersequents for Aqvist Systems / Ciabattoni, A., & Tesi, M. (2024). Sequents vs Hypersequents for Aqvist Systems. In C. Benzmüller, M. Heule, & R. Schmidt (Eds.), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 176–195). Springer. https://doi.org/10.1007/978-3-031-63501-4_10
Download: Artikel (366 KB)
Project: LoDEx (2024–2026)
Subintuitionistic logics and their modal companions: a nested approach / Tesi, M. (2024). Subintuitionistic logics and their modal companions: a nested approach. Journal of Applied Non-Classical Logics. https://doi.org/10.1080/11663081.2024.2366756
Project: REMODEL (2024–2026)