12 citations · 51 across the 20 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 2 cited
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
M. Hague, C. -H. L. Ong
We present an extension of an algorithm for computing directly the denotation of a mu-calculus formula X over the configuration graph of a pushdown system to allow backwards modali…
cs.LO2010★ 8 cited
Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer +2
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may…