TESI, Matteo
TESI, Matteo
Classe di Lettere e Filosofia
Mostra
records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.017 secondi).
Analyticity with extra-logical information
2024 Piazza, Mario; Tesi, Matteo
Fractional-valued modal logic
2021 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo
Fractional-valued modal logic and soft bilateralism
2023 Piazza, Mario; Pulcini, Gabriele; Tesi, Matteo
Labelled sequent calculi for Lewis’ non-normal propositional modal logics
2021 Tesi, Matteo
Labelled sequent calculi for logics of strict implication
2022 Orlandelli, Eugenio; Tesi, Matteo
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
2021 Tesi, Matteo; Negri, Sara
Non-contractive logics, paradoxes, and multiplicative quantifiers
2023 Nicolai, Carlo; Piazza, Mario; Tesi, Matteo
On the proof theory of infinitary modal logic
2022 Tesi, Matteo
Taming bounded depth with nested sequents
2022 Ciabattoni, Agata; Strassburger, Lutz; Tesi, Matteo
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
2023 Tesi, Matteo; Negri, Sara
Through and beyond classicality: analyticity, embeddings, infinity
2023 Tesi, Matteo