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…