4 citations · 8 across the 2 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
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…
math.LO2020
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…