| 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 |
| Categories: how I learned to stop worrying and love two sorts W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... Logic, Language, Information, and Computation: 23rd International Workshop …, 2016 | 65 | 2016 |
| Toward an epistemic-logical theory of categorization W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ... arXiv preprint arXiv:1707.08743, 2017 | 47 | 2017 |
| 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 |
| Rough concepts W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ... Information Sciences 561, 371-413, 2021 | 33 | 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 | 30 | 2020 |
| 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 |
| Goldblatt-Thomason for LE-logics W Conradie, A Palmigiano, A Tzimoulis arXiv preprint arXiv:1809.08225, 2018 | 15 | 2018 |
| Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour. A Tzimoulis Delft University of Technology, Netherlands, 2018 | 15 | 2018 |
| Syntactic completeness of proper display calculi J Chen, G Greco, A Palmigiano, A Tzimoulis ACM Transactions on Computational Logic 23 (4), 1-46, 2022 | 14 | 2022 |
| Modelling socio-political competition W Conradie, A Palmigiano, C Robinson, A Tzimoulis, N Wijnberg Fuzzy Sets and Systems 407, 115-141, 2021 | 13 | 2021 |
| 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 |
| Probabilistic epistemic updates on algebras W Conradie, S Frittella, A Palmigiano, A Tzimoulis, N Wijnberg ACM Transactions on Computational Logic (TOCL) 20 (4), 1-75, 2019 | 11 | 2019 |
| The logic of vague categories W Conradie, A Palmigiano, C Robinson, A Tzimoulis, NM Wijnberg arXiv preprint arXiv:1908.04816, 2019 | 11 | 2019 |
| Modal reduction principles across relational semantics W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ... Fuzzy Sets and Systems 481, 108892, 2024 | 9 | 2024 |
| Non-normal modal logics and conditional logics: Semantic analysis and proof theory J Chen, G Greco, A Palmigiano, A Tzimoulis Information and Computation 287, 104756, 2022 | 9 | 2022 |
| Universal models for the positive fragment of intuitionistic logic N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao International Tbilisi Symposium on Logic, Language, and Computation, 229-250, 2015 | 8 | 2015 |
| Lambek–Grishin Calculus: Focusing, Display and Full Polarization G Greco, M Moortgat, VD Richard, A Tzimoulis Samson Abramsky on Logic and Structure in Computer Science and Beyond, 877-915, 2023 | 5 | 2023 |
| Neighbourhood semantics for graded modal logic J Chen, H Van Ditmarsch, G Greco, A Tzimoulis Wydawnictwo Uniwersytetu Łódzkiego, 2021 | 4 | 2021 |
Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
