Follow
Marta Bilkova
Marta Bilkova
Researcher, Institute of Computer Science, Czech Academy of Sciences
Verified email at cs.cas.cz
Title
Cited by
Cited by
Year
Uniform interpolation and propositional quantifiers in modal logics
M Bílková
Studia Logica, 1-31, 2007
602007
Proof systems for the coalgebraic cover modality.
M Bílková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
482008
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
402018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
302016
Interpolation in modal logics
M Bílková
Univerzita Karlova, Filozofická fakulta, 2006
292006
Constraint tableaux for two-dimensional fuzzy logics
M Bílková, S Frittella, D Kozhemiachenko
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
282021
Belief based on inconsistent information
M Bílková, S Frittella, O Majer, S Nazari
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
252020
Relevant agents
M Bılková, O Majer, M Peliš, G Restall
Advances in modal logic 8, 22-38, 2010
242010
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
202011
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
192016
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
172013
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
162023
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
152024
Smart labels
M Bilkova, E Goris, JJ Joosten
Institute for Logic, Language and Computation, 2004
122004
Paraconsistent Gödel modal logic
M Bílková, S Frittella, D Kozhemiachenko
International Joint Conference on Automated Reasoning, 429-448, 2022
112022
Distributive substructural logics as coalgebraic logics over posets
M Bılková, R Horcık, J Velebil
Advances in Modal Logic 9, 119-142, 2012
112012
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
92014
Interpretability in PRA
M Bílková, D de Jongh, JJ Joosten
Annals of Pure and Applied Logic 161 (2), 128-138, 2009
82009
Crisp bi-Gödel modal logic and its paraconsistent expansion
M Bílková, S Frittella, D Kozhemiachenko
Logic Journal of the IGPL, jzad017, 2023
72023
Lindenbaum and pair extension lemma in infinitary logics
M Bílková, P Cintula, T Lávička
Logic, Language, Information, and Computation: 25th International Workshop …, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20