Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

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

Journal of Applied Non-Classical Logics , Volume 32 (4): 4 – Oct 2, 2022
Download PDF
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 ∗...
Loading next page...
 
/lp/taylor-francis/correction-MdQ5n4AFwU
Publisher
Taylor & Francis
Copyright
© 2023 Informa UK Limited, trading as Taylor & Francis Group
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 Logics – Taylor & Francis

Published: Oct 2, 2022

There are no references for this article.