7 citations · 14 across the 7 of their papers we have counts for
8 papers
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…
Updating belief functions over Belnap--Dunn logic
Sabine Frittella, Ondrej Majer, Sajad Nazari
Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. Howe…
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…
The (Relevant) Logic of Scientific Discovery
Timothy Childers, Ondrej Majer, Peter Milne
This paper presents a thoroughgoing interpretation of a weak relevant logic built over the Dunn-Belnap four-valued semantics in terms of the communication of information in a netwo…
Probabilities with Gaps and Gluts
Dominik Klein, Ondrej Majer, Soroush Rafiee Rad
Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two…
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…