Sledovat
Marta Bilkova
Marta Bilkova
Researcher, Institute of Computer Science, Czech Academy of Sciences
E-mailová adresa ověřena na: cs.cas.cz
Název
Citace
Citace
Rok
Uniform interpolation and propositional quantifiers in modal logics
M Bílková
Studia Logica, 1-31, 2007
592007
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
402018
Epistemic logics for sceptical agents
M Bílková, O Majer, M Peliš
Journal of Logic and Computation 26 (6), 1815-1841, 2016
302016
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
282021
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
242010
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
202011
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
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
152023
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
142023
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
112022
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
Crisp bi-Gödel modal logic and its paraconsistent expansion
M Bílková, S Frittella, D Kozhemiachenko
Logic Journal of the IGPL, jzad017, 2023
72023
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20