14 citations · 40 across the 17 of their papers we have counts for
4 papers · 1 filter
Uniform Interpolation in provability logics
Marta Bilkova
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. Th…
Crisp bi-Gödel modal logic and its paraconsistent expansion
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-Gödel modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each st…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…
Paraconsistent Gödel modal logic
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce a~paraconsistent modal logic , based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation . We use the l…