5 citations · 15 across the 5 of their papers we have counts for
6 papers
Reasoning with belief functions over Belnap--Dunn logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko +2
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We…
Revisiting Epistemic Logic with Names
Marta Bílková, Zoé Christoff, Olivier Roy
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. F…
Constraint tableaux for two-dimensional fuzzy logics
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common unde…
How to reason with inconsistent probabilistic information?
Marta Bílková, Sabine Frittella, Ondrej Majer +1
A recent line of research has developed around logics of belief based on evidence. The approach of Bílková et al understands belief as based on information confirmed by a reliable…
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
Evan Goris, Marta Bílková, Joost J. Joosten +1
The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative noti…
Proof Theory for Positive Logic with Weak Negation
Marta Bílková, Almudena Colacito
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are…