Marta Bílková

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 23

Top Topics

Inconsistent Information

Dempster Shafer

Top Venues

Publications

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. 175 (9) (2024)
Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
Bisimulation for Impure Simplicial Complexes. CoRR (2024)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Two-Layered Logics for Paraconsistent Probabilities. WoLLIC (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. 154 (2023)
Marta Bílková, Igor Sedlár
Epistemic Logics of Structured Intensional Groups. TARK (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Non-standard Modalities in Paraconsistent Gödel Logic. JELIA (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. JIAF (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel modal logic on bi-relational frames. CoRR (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA (2023)
Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68 (3) (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel Modal Logic. IJCAR (2022)
Marta Bílková, Matej Dostál
Moss' logic for ordered coalgebras. Log. Methods Comput. Sci. 18 (3) (2022)
Marta Bílková, Zoé Christoff, Olivier Roy
Revisiting Epistemic Logic with Names. TARK (2021)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX (2021)
Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
Belief Based on Inconsistent Information. DaLí (2020)
Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
How to reason with inconsistent probabilistic information? CoRR (2020)
Marta Bílková, Almudena Colacito
Proof Theory for Positive Logic with Weak Negation. Stud Logica 108 (4) (2020)
Marta Bílková, Matej Dostál
Moss' logic for ordered coalgebras. CoRR (2019)
Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
The Logic of Resources and Capabilities. Rev. Symb. Log. 11 (2) (2018)
Marta Bílková, Petr Cintula, Tomás Lávicka
Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC (2018)
Marta Bílková, Ondrej Majer, Michal Pelis
Epistemic logics for sceptical agents. J. Log. Comput. 26 (6) (2016)
Marta Bílková, Matej Dostál
Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC (2016)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549 (2014)
Marta Bílková, Matej Dostál
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. CALCO (2013)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9 (4) (2013)
Marta Bílková, Rostislav Horcík, Jiri Velebil
Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets CoRR (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets. CALCO (2011)
Marta Bílková, Jiri Velebil, Yde Venema
On monotone modalities and adjointness. Math. Struct. Comput. Sci. 21 (2) (2011)
Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall
Relevant Agents. Advances in Modal Logic (2010)
Marta Bílková
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. TbiLLC (2009)
Marta Bílková, Dick de Jongh, Joost J. Joosten
Interpretability in PRA. Ann. Pure Appl. Log. 161 (2) (2009)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for the coalgebraic cover modality. Advances in Modal Logic (2008)
Marta Bílková
Uniform Interpolation and Propositional Quantifiers in Modal Logics. Stud Logica 85 (1) (2007)