Translator Disclaimer
August 2022 Measuring Inconsistency in Some Logics with Tense Operators
John Grant
Author Affiliations +
Notre Dame J. Formal Logic 63(3): 415-440 (August 2022). DOI: 10.1215/00294527-2022-0020


This paper starts the systematic study of inconsistency measures for propositional logics enriched with operators involving time. We use Prior’s operators for tense logic: H, G, P, and F; however, we apply different semantics to them. We define two logics. The first one, ATPL, allows formulas with the application of any of the four operators any number of times to propositional logic formulas. The semantics is given in terms of TPL structures. We then show how to measure the inconsistency of a set of ATPL formulas using appropriately modified versions of standard inconsistency measures for propositional logic. Additionally, these new measures are checked for the satisfaction of various properties. We also investigate a new concept of inconsistency that cannot be defined for propositional logic. Then, ATPL is extended to CTPL by applying the propositional connectives to ATPL formulas and measuring inconsistency is extended to sets of CTPL formulas.


Download Citation

John Grant. "Measuring Inconsistency in Some Logics with Tense Operators." Notre Dame J. Formal Logic 63 (3) 415 - 440, August 2022.


Received: 27 May 2020; Accepted: 28 April 2022; Published: August 2022
First available in Project Euclid: 25 September 2022

Digital Object Identifier: 10.1215/00294527-2022-0020

Primary: 03B60
Secondary: 03B44 , 03B53

Keywords: inconsistency measures , propositional logic , rationality postulates , tense operators , weak inconsistency

Rights: Copyright © 2022 University of Notre Dame


This article is only available to subscribers.
It is not available for individual sale.

Vol.63 • No. 3 • August 2022
Back to Top