19 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 19 cited
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
Ben Moszkowski
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL vari…
cs.LO2006★ 4 cited
A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
Ben Moszkowski
We present a hierarchical framework for analysing propositional linear-time temporal logic (PTL) to obtain standard results such as a small model property, decision procedures and…