Correction

DOI10.1080/11663081.2023.2188041MaRDI QIDQ6044359zbMATH OpenOpenAlexFDO

Authors Dimitar P. Guelev, Ben Moszkowski

Publication date 17 May 2023

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2023.2188041

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• A separation theorem for discrete-time interval temporal logic
• Erratum to: ``Temporal reasoning based on semi-intervals
• A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics
• A Road Map of Interval Temporal Logics and Duration Calculi
• scientific article; zbMATH DE number 1670826
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• scientific article; zbMATH DE number 5000355
• A Road Map of Interval Temporal Logics and Duration Calculi
• On temporal and separation logics

Cited in

(3)

• Corrigendum to: ``Revisiting reachability in polynomial interrupt timed automata
• A separation theorem for discrete-time interval temporal logic
• Corrections to “A Menagerie of Timed Automata”

This page was built for publication: Correction

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