1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Simple tableaux for two expansions of Gödel modal logic
Marta Bilkova, Thomas Ferguson, Daniil Kozhemiachenko
This paper considers two logics. The first one, , is an expansion of the Gödel modal logic with the involutive negation $\…
math.LO2023
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^+…