Non-standard modalities in paraconsistent G\"{o}del logic

DOI10.1007/978-3-031-43619-2_29MaRDI QIDQ6430770zbMATH OpenOpenAlexFDO

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

Publication date 24 March 2023

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_29

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Abstract: We introduce a paraconsistent expansion of the G"{o}del logic with a De Morgan negation $eg$ and modalities $$ and $$. We equip it with Kripke semantics on frames with two (possibly fuzzy) relations: $R^{+}$ and $R^{-}$ (interpreted as the degree of trust in affirmations and denials by a given source) and valuations $v_1$ and $v_2$ (positive and negative support) ranging over $[0,1]$ and connected via $eg$. We motivate the semantics of $$ (resp., $$) as infima (suprema) of both positive and negative supports of $phi$ in $R^{+}$- and $R^{-}$-accessible states, respectively. We then prove several instructive semantical properties of the logic. Finally, we devise a tableaux system for branching fragment and establish the complexity of satisfiability and validity.

Recommendations

• Paraconsistent modal logics
• Proof systems for a Gödel modal logic
• Standard Gödel modal logics
• Paraconsistent modal logic
• Axiomatization of crisp Gödel modal logic

Cited in

(2)

• Fuzzy bi-Gödel modal logic and its paraconsistent relatives
• Queries with exact truth values on concept and role atoms in paraconsistent description logics

This page was built for publication: Non-standard modalities in paraconsistent G\"{o}del logic

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