233 citations
- Université d'OrléansFR47 papers
- Services déconcentrés d'appui à la recherche Val de LoireFR39 papers
- Centre National de la Recherche ScientifiqueFR29 papers
- Université de ToursFR16 papers
- Laboratoire d'Informatique Fondamentale d'Orléans13 papers
- GREMAN, Matériaux, Microélectronique, Acoustique, NanotechnologiesFR11 papers
- Institut Polytechnique de BordeauxFR9 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR9 papers
- Université de BordeauxFR9 papers
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR8 papers
- Czech Academy of SciencesCZ7 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ7 papers
4 papers · 2 filters
Crisp bi-Gödel modal logic and its paraconsistent expansion
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-Gödel modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each st…
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…
Paraconsistent Gödel modal logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce a~paraconsistent modal logic , based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation . We use the l…
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…