233 citations
- Services déconcentrés d'appui à la recherche Val de LoireFR29 papers
- Université d'OrléansFR26 papers
- Centre National de la Recherche ScientifiqueFR15 papers
- Université de ToursFR10 papers
- GREMAN, Matériaux, Microélectronique, Acoustique, NanotechnologiesFR9 papers
- Czech Academy of SciencesCZ6 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ6 papers
- Czech Academy of Sciences, Institute of PhilosophyCZ4 papers
- Laboratoire d'Informatique Fondamentale d'Orléans3 papers
- Laboratoire Pluridisciplinaire de Recherche en Ingénierie des Systèmes, Mécanique et EnergétiqueFR3 papers
- Luxembourg Institute of Science and TechnologyLU3 papers
- University of LuxembourgLU3 papers
5 papers · 2 filters
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…