Marta Bilkova

Marta Bilkova

Institute of Computer Science of the CAS - / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 4454643
Ústav počítačové vědy CAS
person_outline Marta Bilkova's MOST POPULAR ARTICLES
1-) Uniform interpolation and propositional quantifiers in modal logics M Bílková Studia Logica, 1-31, 2007 512007
2-) Proof systems for the coalgebraic cover modality. M Bílková, A Palmigiano, Y Venema Advances in modal logic 7, 1-21, 2008 472008
3-) 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
4-) Epistemic logics for sceptical agentsM Bílková, O Majer, M PelišJournal of Logic and Computation 26 (6), 1815-1841, 2016312016
5-) Constraint tableaux for two-dimensional fuzzy logicsM Bílková, S Frittella, D KozhemiachenkoInternational Conference on Automated Reasoning with Analytic Tableaux and …, 2021292021