Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

DOI10.2168/LMCS-3(3:3)2007zbMath1125.03015MaRDI QIDQ5426069

Dimitar P. Guelev

Publication date: 15 November 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

duration calculusinterval temporal logicprobabilistic extensionscomplete Hilbert-style proof systems

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (2)

A separation theorem for discrete-time interval temporal logic ⋮ Probabilistic Temporal Logics

This page was built for publication: Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems