14 citations · 40 across the 17 of their papers we have counts for
4 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…
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…