Margherita Zorzi
Università degli Studi di Verona
H-index: 15
Europe-Italy
Top articles of Margherita Zorzi
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Cut Elimination for Extended Sequent Calculi | Simone Martini Andrea Masini Margherita Zorzi | 2023/9/25 | |
Natural deduction calculi for classical and intuitionistic S5 | Journal of Applied Non-Classical Logics | S Guerrini A Masini M Zorzi | 2023/4/3 |
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 |
Quantifier completions, choice principles and applications | arXiv preprint arXiv:2010.09111 | Davide Trotta Matteo Spadetto | 2020/10/18 |
Compositional theories for host-core languages | arXiv preprint arXiv:2006.10604 | Davide Trotta Margherita Zorzi | 2020/6/18 |
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 |
Web Literature, Authorship Attribution and Editorial Workflow Ontologies | Matteo Cristani Francesco Olivieri Claudio Tomazzoli Margherita Zorzi | 2020 |
Co-Authors
