Andrea Masini
Università degli Studi di Verona
H-index: 15
Europe-Italy
Top articles of Andrea Masini
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Natural deduction calculi for classical and intuitionistic S5 | Journal of Applied Non-Classical Logics | S Guerrini A Masini M Zorzi | 2023/4/3 |
Cut Elimination for Extended Sequent Calculi | Simone Martini Andrea Masini Margherita Zorzi | 2023/9/25 | |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics | ACM Transactions on Computational Logic (TOCL) | Simone Martini Andrea Masini Margherita Zorzi | 2021/7/22 |
Proof Nets for Classical Logic | Notre Dame Journal of Formal Logic | Stefano Guerrini Andrea Masini | 2021/5 |
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic | arXiv preprint arXiv:2001.02029 | Simone Martini Andrea Masini Margherita Zorzi | 2020/1/7 |
Quantum Turing machines: computations and measurements | Applied Sciences | Stefano Guerrini Simone Martini Andrea Masini | 2020/8/11 |
A two‐dimensional metric temporal logic | Mathematical Logic Quarterly | Stefano Baratella Andrea Masini | 2020/3 |