A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

DOI10.3166/JANCL.14.149-180zbMath1181.03014OpenAlexW2039957780MaRDI QIDQ3643269

Dang Van Hung, Dimitar P. Guelev

Publication date: 11 November 2009

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

Full work available at URL: https://doi.org/10.3166/jancl.14.149-180

zbMATH Keywords

projectionduration calculusrelative completeness

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

An application of temporal projection to interleaving concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of durations
• Duration calculus. A formal approach to real-time systems.
• Composing and refining dense temporal logic specifications
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A Complete Proof System for First-order Interval Temporal Logic with Projection

This page was built for publication: A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus