7 citations · 31 across the 26 of their papers we have counts for
6 papers · 1 filter
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…
Paraconsistent Gödel modal logic on bi-relational frames
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We further develop the paraconsistent Gödel modal logic. In this paper, we consider its version endowed with Kripke semantics on -valued frames with two fuzzy relations $R^+…
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…