Game Logic is Strong Enough for Parity Games

Download PDF
5 downloads 170 Views 2MB Size Report
Comment
Abstract. We investigate the expressive power of Parikh's Game Logic interpreted in ... that Game Logic is not captured by any finite level of the modal ,u-calculus ...