activity
20202024
most citedQualitative reasoning in a two-layered framework

7 citations · 14 across the 7 of their papers we have counts for

collaborators
Showing math.LOShow all

6 papers · 1 filter

math.LO2024

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…

math.LO2023★ 2 cited

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…

math.LO2022★ 7 cited

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…

math.LO2022★ 4 cited

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…

math.LO2021★ 1 cited

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…

math.LO2020

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…