Matteo Tesi

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Inside classical logic: truth, contradictions, fractionality
Studia Logica
2026-06-12Paper
GL-based calculi for PCL and its deontic cousin2025-12-15Paper
Analyticity with extra-logical information
Journal of Logic and Computation
2025-10-29Paper
Exception and typicality, logically framed
Journal of Logic, Language and Information
2025-10-21Paper
A syntactic proof of the decidability of first-order monadic logic
Bulletin of the Section of Logic
2025-10-06Paper
Linear logic in a refutational setting
Journal of Logic and Computation
2025-04-03Paper
Constructive theories through a modal lens
Logic Journal of the IGPL
2025-03-25Paper
Non-contractive logics, paradoxes, and multiplicative quantifiers
The Review of Symbolic Logic
2025-02-07Paper
Sequents vs hypersequents for Åqvist systems2025-01-31Paper
Subintuitionistic logics and their modal companions: a nested approach
Journal of Applied Non-Classical Logics
2024-12-09Paper
Infinitary logic with infinite sequents: syntactic investigations
Mathematical Logic Quarterly (MLQ)
2024-06-25Paper
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic
2024-02-29Paper
FRACTIONAL-VALUED MODAL LOGIC
The Review of Symbolic Logic
2024-01-11Paper
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
Annals of Pure and Applied Logic
2023-06-13Paper
scientific article; zbMATH DE number 7668098 (Why is no real title available?)2023-03-24Paper
Labelled sequent calculi for logics of strict implication2023-03-24Paper
On the proof theory of infinitary modal logic
Studia Logica
2022-11-29Paper
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers2022-09-23Paper
Labelled sequent calculi for Lewis' non-normal propositional modal logics
Studia Logica
2021-11-11Paper
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
Journal Of Logic And Computation
2021-11-09Paper


Research outcomes over time


This page was built for person: Matteo Tesi