Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic

DOI10.1016/j.jlamp.2021.100679OpenAlexW3141454231MaRDI QIDQ2043815

Diana Costa, Manuel A. Martins

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100679

zbMATH Keywords

hybrid logicbisimulationfour-valued semanticstableaux systemmodal operatorsmeasures of inconsistency

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

Relation-changing models meet paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A four-valued hybrid logic with non-dual modal operators
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Fixpoint semantics for logic programming a survey
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Analysing inconsistent first-order knowledgebases
• Hybrid logics: characterization, interpolation and complexity
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Paraconsistency in hybrid logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Many-valued hybrid logic