| Uniform interpolation and propositional quantifiers in modal logics M Bílková Studia Logica, 1-31, 2007 | 61 | 2007 |
| Proof systems for the coalgebraic cover modality. M Bílková, A Palmigiano, Y Venema Advances in modal logic 7, 1-21, 2008 | 48 | 2008 |
| 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 | 42 | 2018 |
| Epistemic logics for sceptical agents M Bílková, O Majer, M Peliš Journal of Logic and Computation 26 (6), 1815-1841, 2016 | 31 | 2016 |
| Interpolation in modal logics M Bílková Univerzita Karlova, Filozofická fakulta, 2006 | 31 | 2006 |
| Constraint tableaux for two-dimensional fuzzy logics M Bílková, S Frittella, D Kozhemiachenko International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 29 | 2021 |
| Relevant agents M Bılková, O Majer, M Peliš, G Restall Advances in modal logic 8, 22-38, 2010 | 26 | 2010 |
| Belief based on inconsistent information M Bílková, S Frittella, O Majer, S Nazari Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020 | 25 | 2020 |
| Expressivity of many-valued modal logics, coalgebraically M Bílková, M Dostál International Workshop on Logic, Language, Information, and Computation, 109-124, 2016 | 21 | 2016 |
| Relation liftings on preorders and posets M Bílková, A Kurz, D Petrişan, J Velebil Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011 | 20 | 2011 |
| Relation lifting, with an application to the many-valued cover modality M Bilkova, A Kurz, D Petrisan, J Velebil Logical Methods in Computer Science 9, 2013 | 19 | 2013 |
| 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 | 16 | 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 | 15 | 2024 |
| Smart labels M Bilkova, E Goris, JJ Joosten Institute for Logic, Language and Computation, 2004 | 13 | 2004 |
| Paraconsistent Gödel modal logic M Bílková, S Frittella, D Kozhemiachenko International Joint Conference on Automated Reasoning, 429-448, 2022 | 12 | 2022 |
| Distributive substructural logics as coalgebraic logics over posets M Bılková, R Horcık, J Velebil Advances in Modal Logic 9, 119-142, 2012 | 12 | 2012 |
| Interpretability in PRA M Bílková, D de Jongh, JJ Joosten Annals of Pure and Applied Logic 161 (2), 128-138, 2009 | 10 | 2009 |
| Proof systems for Moss' coalgebraic logic M Bílková, A Palmigiano, Y Venema Theoretical Computer Science 549, 36-60, 2014 | 9 | 2014 |
| Crisp bi-Gödel modal logic and its paraconsistent expansion M Bílková, S Frittella, D Kozhemiachenko Logic Journal of the IGPL, jzad017, 2023 | 8 | 2023 |
| Proof theory for positive logic with weak negation M Bílková, A Colacito Studia Logica 108 (4), 649-686, 2020 | 7 | 2020 |
Ondrej MajerInstitute of Philosophy, Academy of Sciences of the Czech RepublicVerified email at flu.cas.cz
