| Unified correspondence as a proof-theoretic tool G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao Journal of Logic and Computation 28 (7), 1367-1442, 2018 | 107 | 2018 |
| Multi-type display calculus for dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic Journal of Logic and Computation 26 (6), 2017-2065, 2016 | 69 | 2016 |
| Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016 | 64 | 2016 |
| Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018 | 56 | 2018 |
| A proof-theoretic semantic analysis of dynamic epistemic logic S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić Journal of Logic and Computation 26 (6), 1961-2015, 2016 | 51 | 2016 |
| A multi-type calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang Logic, Language, Information, and Computation: 23rd International Workshop …, 2016 | 50 | 2016 |
| Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013 | 50 | 2013 |
| The logic of resources and capabilities M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg The Review of Symbolic Logic 11 (2), 371-410, 2018 | 41 | 2018 |
| Lattice logic properly displayed G Greco, A Palmigiano Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 30 | 2017 |
| Multi-type display calculus for semi De Morgan logic G Greco, F Liang, MA Moshier, A Palmigiano Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 29 | 2017 |
| Linear logic properly displayed G Greco, A Palmigiano arXiv preprint arXiv:1611.04181, 2016 | 28 | 2016 |
| Bilattice Logic Properly Displayed G Greco, F Liang, A Palmigiano, U Rivieccio Fuzzy Sets and Systems 363, 138-155, 2019 | 25 | 2019 |
| Logics for rough concept analysis G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019 | 24 | 2019 |
| Algebraic proof theory for LE-logics G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis ACM Transactions on Computational Logic 25 (1), 1-37, 2024 | 20 | 2024 |
| Proper multi-type display calculi for rough algebras G Greco, F Liang, K Manoorkar, A Palmigiano Electronic Notes in Theoretical Computer Science 344, 101-118, 2019 | 16 | 2019 |
| Non normal logics: semantic analysis and proof theory J Chen, G Greco, A Palmigiano, A Tzimoulis Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 13 | 2019 |
| Structural multi-type sequent calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang arXiv preprint arXiv:1604.00936, 2016 | 11 | 2016 |
| Semi De Morgan logic properly displayed G Greco, F Liang, MA Moshier, A Palmigiano Studia logica 109, 1-45, 2021 | 8 | 2021 |
| Display-type sequent calculus for monotone modal logic S Frittella, G Greco Advances in Modal Logic, 2014 | 8 | 2014 |
| Lattice logic properly displayed G Greco, A Palmigiano arXiv preprint arXiv:1612.05930, 2016 | 7 | 2016 |
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
