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
362007
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
332018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
222016
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
Relevant agents
M Bılková, O Majer, M Peliš, G Restall
Advances in modal logic 8, 22-38, 2010
152010
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
142013
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
142013
Expressivity of many-valued modal logics, coalgebraically
M Bílková, M Dostál
International Workshop on Logic, Language, Information, and Computation, 109-124, 2016
112016
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
Proof systems for Moss' coalgebraic logic
M Bílková, A Palmigiano, Y Venema
Theoretical Computer Science 549, 36-60, 2014
82014
Smart labels
M Bilkova, E Goris, JJ Joosten
Liber Amicorum for Dick de Jongh, 1-9, 2004
82004
Interpolation in modal logics
M Bílková
Univerzita Karlova, Filozofická fakulta, 2006
72006
Interpolation in modal logics
M Bılková, P Pudlák
PhD–thesis, Charles University, Prague, 2006
72006
Monotone sequent calculus and resolution
M Bílková
Commentationes Mathematicae Universitatis Carolinae 42 (3), 575-582, 2001
72001
On monotone modalities and adjointness.
M Bílková, J Velebil, Y Venema
Math. Struct. Comput. Sci. 21 (2), 383-416, 2011
62011
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
62009
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20