| Modal reduction principles across relational semantics W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ... Fuzzy Sets and Systems, 108892, 2024 | 7 | 2024 |
| From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory D Cantone, E Omodeo, M Panettiere 21st Italian Conference on Theoretical Computer Science 2756, 47-60, 2020 | 7 | 2020 |
| Labelled calculi for the logics of rough concepts I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... Indian Conference on Logic and Its Applications, 172-188, 2023 | 3 | 2023 |
| A meta-learning algorithm for interrogative agendas E Acar, A De Domenico, K Manoorkar, M Panettiere arXiv preprint arXiv:2301.01837, 2023 | 3 | 2023 |
| Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ... arXiv preprint arXiv:2210.17330, 2022 | 3 | 2022 |
| Unified inverse correspondence for DLE-logics W Conradie, A De Domenico, G Greco, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2203.09199, 2022 | 3 | 2022 |
| Subordination Algebras as Semantic Environment of Input/Output Logic A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... International Workshop on Logic, Language, Information, and Computation, 326-343, 2022 | 2 | 2022 |
| Very Weak, Essentially Undecidabile Set Theories. D Cantone, E Omodeo, M Panettiere CEUR WORKSHOP PROCEEDINGS 3002, 31-46, 2021 | 2 | 2021 |
| Game semantics for lattice-based modal {\mu}-calculus Y Ding, K Manoorkar, M Panettiere, A Tzimoulis, R Wang arXiv preprint arXiv:2310.13944, 2023 | 1 | 2023 |
| Non-distributive description logic I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 1 | 2023 |
| Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs D Cantone, EG Omodeo, M Panettiere Journal of Logic and Computation 33 (4), 738-763, 2023 | 1 | 2023 |
| Labelled calculi for lattice-based modal logics I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... Indian Conference on Logic and Its Applications, 23-47, 2023 | 1 | 2023 |
| Graded modal logic with a single modality M Panettiere, A Tzimoulis Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022 14 …, 2022 | 1 | 2022 |
| Modal reduction principles: a parametric shift to graphs W Conradie, K Manoorkar, A Palmigiano, M Panettiere Journal of Applied Non-Classical Logics, 1-49, 2024 | | 2024 |
| Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic Y Ding, K Manoorkar, M Panettiere, R Wang arXiv preprint arXiv:2404.05574, 2024 | | 2024 |
| Obligations and permissions, algebraically A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2403.03148, 2024 | | 2024 |
| Outlier detection using flexible categorisation and interrogative agendas M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ... Decision Support Systems, 114196, 2024 | | 2024 |
| Obligations and permissions on selfextensional logics A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2402.07336, 2024 | | 2024 |
| Flexible categorization using formal concept analysis and Dempster-Shafer theory M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ... arXiv preprint arXiv:2312.12010, 2023 | | 2023 |
| Multi-type modal extensions of the Lambek calculus for G Greco, M Moortgat, M Panettiere, A Tzimoulis VO| Ume Of, 2022 | | 2022 |
Krishna Balajirao ManoorkarPh.D. candidate, VU AmsterdamVerified email at vu.nl
