Inconsistency measures in hybrid logics

zbMATH Open1423.68481MaRDI QIDQ5226735FDOQ5226735

Authors: Diana Costa, Manuel A. Martins 

Publication date: 1 August 2019

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

Mathematics Subject Classification ID

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

Cited In (10)

• Modelling sources of inconsistent information in paraconsistent modal logic
• Inconsistency lemmas in algebraic logic
• Semantic inconsistency measures using 3-valued logics
• Paraconsistent informational logic
• A four-valued hybrid logic with non-dual modal operators
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Title not available (Why is that?)
• Handling and measuring inconsistency in non-monotonic logics
• Measuring inconsistency in some logics with tense operators
• A tableau system for quasi-hybrid 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)