Game Logic is Strong Enough for Parity Games

5 downloads 170 Views 2MB Size Report
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Ā ...