Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory.

Johann A. Makowsky

Browse the full ICALP paper archive.