Browsing Computer Science Publications by Subject "decision procedures"
Now showing items 1-1 of 1
(2012)It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding ...