| 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 | 76 | 2016 |
| Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016 | 69 | 2016 |
| Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018 | 61 | 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 | 54 | 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 | 54 | 2016 |
| Toward an epistemic-logical theory of categorization W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... arXiv preprint arXiv:1707.08743, 2017 | 48 | 2017 |
| Dual characterizations for finite lattices via correspondence theory for monotone modal logic S Frittella, A Palmigiano, L Santocanale Journal of Logic and Computation 27 (3), 639-678, 2017 | 37 | 2017 |
| Rough concepts W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ... Information Sciences 561, 371-413, 2021 | 36 | 2021 |
| Toward a Dempster-Shafer theory of concepts S Frittella, K Manoorkar, A Palmigiano, A Tzimoulis, N Wijnberg International Journal of Approximate Reasoning 125, 14-25, 2020 | 32 | 2020 |
| Constraint tableaux for two-dimensional fuzzy logics M Bílková, S Frittella, D Kozhemiachenko International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 30 | 2021 |
| Belief based on inconsistent information M Bílková, S Frittella, O Majer, S Nazari Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020 | 26 | 2020 |
| Qualitative reasoning in a two-layered framework M Bílková, S Frittella, D Kozhemiachenko, O Majer International Journal of Approximate Reasoning 154, 84-108, 2023 | 17 | 2023 |
| Reasoning with belief functions over Belnap–Dunn logic M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari Annals of Pure and Applied Logic 175 (9), 103338, 2024 | 16 | 2024 |
| Paraconsistent Gödel modal logic M Bílková, S Frittella, D Kozhemiachenko International Joint Conference on Automated Reasoning, 429-448, 2022 | 14 | 2022 |
| Probabilistic epistemic updates on algebras W Conradie, S Frittella, A Palmigiano, A Tzimoulis Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015 | 12 | 2015 |
| Structural multi-type sequent calculus for inquisitive logic S Frittella, G Greco, A Palmigiano, F Yang arXiv preprint arXiv:1604.00936, 2016 | 11 | 2016 |
| Crisp bi-Gödel modal logic and its paraconsistent expansion M Bílková, S Frittella, D Kozhemiachenko Logic Journal of the IGPL, jzad017, 2023 | 9 | 2023 |
| Fixed-Point Theory in the Varieties S Frittella, L Santocanale International Conference on Relational and Algebraic Methods in Computer …, 2014 | 9 | 2014 |
| Display-type sequent calculus for monotone modal logic S Frittella, G Greco Advances in Modal Logic, 2014 | 8 | 2014 |
| A multi-type display calculus for game logic S Frittella, G Greco, A Kurz, A Palmigiano Manuscript in preparation, 0 | 7 | |
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
