research
∙
03/24/2023
Paraconsistent Gödel modal logic on bi-relational frames
We further develop the paraconsistent Gödel modal logic. In this paper, ...
share
research
∙
05/30/2022
Updating belief functions over Belnap–Dunn logic
Belief and plausibility are weaker measures of uncertainty than that of ...
research
∙
04/06/2022
Distributed Transition Systems with Tags for Privacy Analysis
We present a logical framework that formally models how a given private ...
research
∙
03/28/2020
How to reason with inconsistent probabilistic information?
A recent line of research has developed around logics of belief based on...
research
∙
08/14/2019
Toward a Dempster-Shafer theory of concepts
In this paper, we generalize the basic notions and results of Dempster-S...
research
∙
06/30/2019
Rough concepts
The present paper proposes a novel way to unify Rough Set Theory and For...
research
∙
07/27/2017