# Correction

Correction JOURNAL OF APPLIED NON-CLASSICAL LOGICS https://doi.org/10.1080/11663081.2023.2188041 Article title: A Separation Theorem for Discrete Time Interval Temporal Logic Authors: Dimitar P. Guelev and Ben Moszkowski Journal: Journal of Applied Non-Classical Logics DOI: https://doi.org/10.1080/11663081.2022.2050135 Section 3.3 of the article has been resupplied because of a mistake that was found in a proof in this section’s original version. The mistaken proof relied on using the ∗ ∗ equivalence (B ∨ B ) = (B ; B ) to eliminate the use of ∨ in chop-star-formulas 1 2 1 2 before extracting expanding modalities from the scope of chop-star in them, which ∗ ∗ was incorrect because extracting the expanding modalities from B and B can lead 1 2 to introducing new occurrences of ∨. The corrected proof makes no such use. The corrected Section 3.3 is reproduced below. 3.3. Extracting♦ and♦ from the scope of chop-star l r So far we have shown how to handle the interaction of the expanding modalities with the chop operator of ITL-NL. Since |= A ≡ skip; A, this automatically extends to for- mulas with . In this section we consider chop-star.Tomakeourtransformations apply to ITL-NL with chop-star included, we use the inter-expressibility between chop-star and propositional http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

# Correction

, Volume 32 (4): 4 – Oct 2, 2022
4 pages

## Correction

Abstract

JOURNAL OF APPLIED NON-CLASSICAL LOGICS https://doi.org/10.1080/11663081.2023.2188041 Article title: A Separation Theorem for Discrete Time Interval Temporal Logic Authors: Dimitar P. Guelev and Ben Moszkowski Journal: Journal of Applied Non-Classical Logics DOI: https://doi.org/10.1080/11663081.2022.2050135 Section 3.3 of the article has been resupplied because of a mistake that was found in a proof in this section’s original version. The mistaken proof relied on using the ∗...

/lp/taylor-francis/correction-MdQ5n4AFwU
Publisher
Taylor & Francis
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.2023.2188041
Publisher site
See Article on Publisher Site

### Abstract

JOURNAL OF APPLIED NON-CLASSICAL LOGICS https://doi.org/10.1080/11663081.2023.2188041 Article title: A Separation Theorem for Discrete Time Interval Temporal Logic Authors: Dimitar P. Guelev and Ben Moszkowski Journal: Journal of Applied Non-Classical Logics DOI: https://doi.org/10.1080/11663081.2022.2050135 Section 3.3 of the article has been resupplied because of a mistake that was found in a proof in this section’s original version. The mistaken proof relied on using the ∗ ∗ equivalence (B ∨ B ) = (B ; B ) to eliminate the use of ∨ in chop-star-formulas 1 2 1 2 before extracting expanding modalities from the scope of chop-star in them, which ∗ ∗ was incorrect because extracting the expanding modalities from B and B can lead 1 2 to introducing new occurrences of ∨. The corrected proof makes no such use. The corrected Section 3.3 is reproduced below. 3.3. Extracting♦ and♦ from the scope of chop-star l r So far we have shown how to handle the interaction of the expanding modalities with the chop operator of ITL-NL. Since |= A ≡ skip; A, this automatically extends to for- mulas with . In this section we consider chop-star.Tomakeourtransformations apply to ITL-NL with chop-star included, we use the inter-expressibility between chop-star and propositional

### Journal

Journal of Applied Non-Classical LogicsTaylor & Francis

Published: Oct 2, 2022