Matteo Tesi

According to our database, Matteo Tesi authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Infinitary logic with infinite sequents: syntactic investigations.

Matteo Tesi

Math. Log. Q., February, 2024

Sequents vs Hypersequents for Åqvist Systems.

Agata Ciabattoni, Matteo Tesi

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Fractional-Valued Modal Logic.

Mario Piazza, Gabriele Pulcini, Matteo Tesi

Rev. Symb. Log., December, 2023

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.

Matteo Tesi, Sara Negri

Ann. Pure Appl. Log., August, 2023

2022

On the Proof Theory of Infinitary Modal Logic.

Matteo Tesi

Stud Logica, 2022

Taming Bounded Depth with Nested Sequents.

Lutz Straßburger, Matteo Tesi, Agata Ciabattoni

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Labelled sequent calculi for logics of strict implication.

Eugenio Orlandelli, Matteo Tesi

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics.

Matteo Tesi

Stud Logica, 2021

Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic.

Matteo Tesi, Sara Negri

J. Log. Comput., 2021