Matteo Tesi

17 papers B 3Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analyticity with extra-logical information.
J. Log. Comput.
Mario Piazza, Matteo Tesi
2025 J jnl
Constructive theories through a modal lens.
Log. J. IGPL
Matteo Tesi
2025 J jnl
Exception and typicality, logically framed.
J. Log. Lang. Inf.
Mario Piazza, Matteo Tesi
2025 — conf
GL-Based Calculi for PCL and Its Deontic Cousin.
JELIA (1)
Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi
2024 B conf
A Proof Calculus for Ethical Reasoning.
PRIMA
Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
2024 J jnl
Infinitary logic with infinite sequents: syntactic investigations.
Math. Log. Q.
Matteo Tesi
2024 J jnl
Linear logic in a refutational setting.
J. Log. Comput.
Mario Piazza, Gabriele Pulcini, Matteo Tesi
2024 J jnl
Non-contractive Logics, Paradoxes, and multiplicative Quantifiers.
Rev. Symb. Log.
Carlo Nicolai, Mario Piazza, Matteo Tesi
2024 — conf
Sequents vs Hypersequents for Åqvist Systems.
IJCAR (2)
Agata Ciabattoni, Matteo Tesi
2024 J jnl
Subintuitionistic logics and their modal companions: a nested approach.
J. Appl. Non Class. Logics
Matteo Tesi
2023 J jnl
Fractional-Valued Modal Logic.
Rev. Symb. Log.
Mario Piazza, Gabriele Pulcini, Matteo Tesi
2023 J jnl
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.
Ann. Pure Appl. Log.
Matteo Tesi, Sara Negri
2022 B conf
Labelled sequent calculi for logics of strict implication.
AiML
Eugenio Orlandelli, Matteo Tesi
2022 J jnl
On the Proof Theory of Infinitary Modal Logic.
Stud Logica
Matteo Tesi
2022 B conf
Taming Bounded Depth with Nested Sequents.
AiML
Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
2021 J jnl
Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics.
Stud Logica
Matteo Tesi
2021 J jnl
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic.
J. Log. Comput.
Matteo Tesi, Sara Negri