4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.LO2021★ 4 cited
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…
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.LO2019
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…