86 citations
- Institut National des Sciences Appliquées Centre Val de LoireFR39 papers
- Université d'OrléansFR26 papers
- Centre National de la Recherche ScientifiqueFR24 papers
- Université de ToursFR12 papers
- GREMAN, Matériaux, Microélectronique, Acoustique, NanotechnologiesFR9 papers
- Czech Academy of SciencesCZ7 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ7 papers
- Institut Polytechnique de BordeauxFR5 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR5 papers
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des SystèmesFR5 papers
- Université de BordeauxFR5 papers
- Université Paris-SaclayFR5 papers
11 papers · 1 filter
Non-contingecy in a paraconsistent setting
Daniil Kozhemiachenko, Liubov Vashentseva
We study an extension of First Degree Entailment (FDE) by Dunn and Belnap with a non-contingency operator which is construed as " has the same value in all acc…
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We present the axiomatisation of the fuzzy bi-Gödel modal logic (formulated in the language containing and treating the coimplication as a defined connective) and estab…
Knowledge and ignorance in Belnap--Dunn logic
Daniil Kozhemiachenko, Liubov Vashentseva
In this paper, we argue that the usual approach to modelling knowledge and belief with the necessity modality does not produce intuitive outcomes in the framework of the Bel…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
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…
Presumptive Reasoning in a Paraconsistent Setting
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
We explore presumptive reasoning in the paraconsistent case. Specifically, we provide semantics for non-trivial reasoning with presumptive arguments with contradictory assumptions…