Marta Bílková

According to our database, Marta Bílková authored at least 34 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Reasoning with belief functions over Belnap-Dunn logic.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari

Ann. Pure Appl. Log., 2024

Bisimulation for Impure Simplicial Complexes.

Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Group Epistemics, (Co-)algebraically.

Marta Bílková

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Qualitative reasoning in a two-layered framework.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer

Int. J. Approx. Reason., March, 2023

Epistemic Logics of Structured Intensional Groups.

Marta Bílková, Igor Sedlár

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Paraconsistent Gödel modal logic on bi-relational frames.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

CoRR, 2023

Two-Layered Logics for Paraconsistent Probabilities.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer

Proceedings of the Logic, Language, Information, and Computation, 2023

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.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Non-standard Modalities in Paraconsistent Gödel Logic.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022

Theory and application of labelling techniques for interpretability logics.

Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec

Math. Log. Q., 2022

Moss' logic for ordered coalgebras.

Marta Bílková, Matej Dostál

Log. Methods Comput. Sci., 2022

Fonctions de croyances interprétées sur la logique de Belnap-Dunn.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Paraconsistent Gödel Modal Logic.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Revisiting Epistemic Logic with Names.

Marta Bílková, Zoé Christoff, Olivier Roy

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Constraint Tableaux for Two-Dimensional Fuzzy Logics.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Proof Theory for Positive Logic with Weak Negation.

Marta Bílková, Almudena Colacito

Stud Logica, 2020

How to reason with inconsistent probabilistic information?

Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari

CoRR, 2020

Belief Based on Inconsistent Information.

Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2018

The Logic of Resources and Capabilities.

Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Rev. Symb. Log., 2018

Lindenbaum and Pair Extension Lemma in Infinitary Logics.

Marta Bílková, Petr Cintula, Tomás Lávicka

Proceedings of the Logic, Language, Information, and Computation, 2018

2016

Epistemic logics for sceptical agents.

Marta Bílková, Ondrej Majer, Michal Pelis

J. Log. Comput., 2016

Expressivity of Many-Valued Modal Logics, Coalgebraically.

Marta Bílková, Matej Dostál

Proceedings of the Logic, Language, Information, and Computation, 2016

2014

Proof systems for Moss' coalgebraic logic.

Marta Bílková, Alessandra Palmigiano, Yde Venema

Theor. Comput. Sci., 2014

2013

Relation lifting, with an application to the many-valued cover modality.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Log. Methods Comput. Sci., 2013

Many-Valued Relation Lifting and Moss' Coalgebraic Logic.

Marta Bílková, Matej Dostál

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Distributive Substructural Logics as Coalgebraic Logics over Posets.

Marta Bílková, Rostislav Horcík, Jirí Velebil

Proceedings of the Advances in Modal Logic 9, 2012

2011

On monotone modalities and adjointness.

Marta Bílková, Jirí Velebil, Yde Venema

Math. Struct. Comput. Sci., 2011

Relation Liftings on Preorders and Posets.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Relevant Agents.

Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall

Proceedings of the Advances in Modal Logic 8, 2010

2009

Interpretability in PRA.

Marta Bílková, Dick de Jongh, Joost J. Joosten

Ann. Pure Appl. Log., 2009

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.

Marta Bílková

Proceedings of the Logic, Language, and Computation, 2009

2008

Proof systems for the coalgebraic cover modality.

Marta Bílková, Alessandra Palmigiano, Yde Venema

Proceedings of the Advances in Modal Logic 7, 2008

2007

Uniform Interpolation and Propositional Quantifiers in Modal Logics.

Marta Bílková

Stud Logica, 2007