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
472008
Uniform interpolation and propositional quantifiers in modal logics
M Bílková
Studia Logica 85 (1), 1-31, 2007
402007
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
342018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
232016
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
182011
Interpolation in modal logics
M Bílková
Univerzita Karlova, Filozofická fakulta, 2006
172006
Relevant agents
M Bılková, O Majer, M Peliš, G Restall
Advances in modal logic 8, 22-38, 2010
162010
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
152013
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
152013
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
122016
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
Smart labels
M Bilkova, E Goris, JJ Joosten
To appear, 2004
102004
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
92014
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
92014
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
82009
Monotone sequent calculus and resolution
M Bílková
Commentationes Mathematicae Universitatis Carolinae 42 (3), 575-582, 2001
72001
On monotone modalities and adjointness
M Bilkova, J VELEBIL, Y Venema
Mathematical Structures in Computer Science 21 (2), 383-416, 2011
62011
Interpretability in PRA
M Bílková, D de Jongh, JJ Joosten
Annals of Pure and Applied Logic 161 (2), 128-138, 2009
52009
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
E Goris, M Bílková, JJ Joosten, L Mikec
arXiv preprint arXiv:2003.04623, 2020
42020
Many-valued relation lifting and Moss’ coalgebraic logic
M Bílková, M Dostál
International Conference on Algebra and Coalgebra in Computer Science, 66-79, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20