Paraconsistent G\"{o}del modal logic on bi-relational frames

MaRDI QIDQ6430768zbMATH OpenFDO

Authors Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Publication date 24 March 2023

Abstract: We further develop the paraconsistent G"{o}del modal logic. In this paper, we consider its version endowed with Kripke semantics on $[0,1]$-valued frames with two fuzzy relations $R^{+}$ and $R^{-}$ (degrees of trust in assertions and denials) and two valuations $v_1$ and $v_2$ (support of truth and support of falsity) linked with a De Morgan negation $eg$. We demonstrate that it emph{does not} extend G"{o}del modal logic and that $Box$ and $lozenge$ are not interdefinable. We also show that several important classes of frames are $$ definable (in particular, crisp, mono-relational, and finitely branching). For $$ over finitely branching frames, we create a sound and complete constraint tableaux calculus and a decision procedure based upon it. Using the decision procedure we show that $$ satisfiability and validity are in PSPACE.

This page was built for publication: Paraconsistent G\"{o}del modal logic on bi-relational frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6430768)