Matteo Tesi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Sequent Calculi

Default Reasoning

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Matteo Tesi
Infinitary logic with infinite sequents: syntactic investigations. Math. Log. Q. 70 (1) (2024)
Agata Ciabattoni, Matteo Tesi
Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) (2024)
Mario Piazza, Gabriele Pulcini, Matteo Tesi
Fractional-Valued Modal Logic. Rev. Symb. Log. 16 (4) (2023)
Matteo Tesi, Sara Negri
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. Ann. Pure Appl. Log. 174 (8) (2023)
Eugenio Orlandelli, Matteo Tesi
Labelled sequent calculi for logics of strict implication. AiML (2022)
Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
Taming Bounded Depth with Nested Sequents. AiML (2022)
Matteo Tesi
On the Proof Theory of Infinitary Modal Logic. Stud Logica 110 (6) (2022)
Matteo Tesi
Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics. Stud Logica 109 (4) (2021)
Matteo Tesi, Sara Negri
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. J. Log. Comput. 31 (7) (2021)