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
Proof systems for the coalgebraic cover modality.
M Bílková, A Palmigiano, Y Venema
Advances in modal logic 7, 1-21, 2008
482008
Uniform interpolation and propositional quantifiers in modal logics
M Bílková
Studia Logica, 1-31, 2007
462007
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
362018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
282016
Relevant agents
M Bılková, O Majer, M Peliš, G Restall
Advances in modal logic 8, 22-38, 2010
202010
Relation liftings on preorders and posets
M Bílková, A Kurz, D Petrişan, J Velebil
International Conference on Algebra and Coalgebra in Computer Science, 115-129, 2011
192011
Interpolation in modal logics
M Bílková
Univerzita Karlova, Filozofická fakulta, 2006
192006
Relation lifting, with an application to the many-valued cover modality
M Bilkova, A Kurz, D Petrisan, J Velebil
arXiv preprint arXiv:1307.4682, 2013
162013
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
152016
Belief based on inconsistent information
M Bílková, S Frittella, O Majer, S Nazari
International Workshop on Dynamic Logic, 68-86, 2020
132020
Constraint tableaux for two-dimensional fuzzy logics
M Bílková, S Frittella, D Kozhemiachenko
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
122021
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
Smart labels
M Bilkova, E Goris, JJ Joosten
Liber Amicorum for Dick de Jongh. Intitute for Logic, Language and Computation, 2004
112004
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
102014
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
102014
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
Monotone sequent calculus and resolution
M Bílková
Commentationes Mathematicae Universitatis Carolinae 42 (3), 575-582, 2001
72001
Lindenbaum and pair extension lemma in infinitary logics
M Bílková, P Cintula, T Lávička
International Workshop on Logic, Language, Information, and Computation, 130-144, 2018
62018
Reasoning with belief functions over Belnap--Dunn logic
M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari
arXiv preprint arXiv:2203.01060, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20