Inconsistency measures in hybrid logics

MaRDI QIDQ5226735zbMATH OpenFDO

Authors Diana Costa, Manuel A. Martins

Publication date 1 August 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Combined logics (03B62)

Recommendations

• Paraconsistency in hybrid logic
• scientific article; zbMATH DE number 7325814
• A tableau system for quasi-hybrid logic
• Measuring inconsistency in generalized propositional logic
• A four-valued hybrid logic with non-dual modal operators

Cited in

(10)

• A four-valued hybrid logic with non-dual modal operators
• Measuring inconsistency in some logics with tense operators
• A tableau system for quasi-hybrid logic
• Modelling sources of inconsistent information in paraconsistent modal logic
• Semantic inconsistency measures using 3-valued logics
• scientific article; zbMATH DE number 7088155 (Why is no real title available?)
• Paraconsistent informational logic
• Handling and measuring inconsistency in non-monotonic logics
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Inconsistency lemmas in algebraic logic

This page was built for publication: Inconsistency measures in hybrid logics

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