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
562007
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
372018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
292016
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
262021
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
232010
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
192011
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
182016
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
162013
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, 103338, 2023
132023
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
132023
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
102022
Distributive substructural logics as coalgebraic logics over posets
M Bılková, R Horcık, J Velebil
Advances in Modal Logic 9, 119-142, 2012
102012
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
82014
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
Interpretability in PRA
M Bílková, D de Jongh, JJ Joosten
Annals of Pure and Applied Logic 161 (2), 128-138, 2009
72009
A note on uniform interpolation proofs in modal deep inference calculi
M Bílková
International Tbilisi Symposium on Logic, Language, and Computation, 30-45, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20