Measuring inconsistency in some logics with tense operators

DOI10.1215/00294527-2022-0020MaRDI QIDQ2080703zbMATH OpenOpenAlexFDO

Authors John Grant

Publication date 10 October 2022

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2022-0020

zbMATH Keywords

inconsistency measurestense operatorspropositional logicrationality postulatesweak inconsistency

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Paraconsistent logics (03B53) Temporal logic (03B44)

Recommendations

• Measuring inconsistency in some branching time logics
• Measuring inconsistency in generalized propositional logic
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring inconsistency with many-valued logics
• Inconsistency measures in hybrid logics

Cites work

• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Analysing inconsistent information using distance-based measures
• Classifications for inconsistent theories
• Inconsistency measures and paraconsistent consequence
• Inference and necessity
• Measuring inconsistency
• On the evaluation of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Relative inconsistency measures
• The logic of paradox
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(3)

• Measuring inconsistency in some branching time logics
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Measuring inconsistency in generalized propositional logic

This page was built for publication: Measuring inconsistency in some logics with tense operators

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