Modal Logic for Rewriting Theories
Dirk Pattinson · Electronic Notes in Theoretical Computer Science · 2000
We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use “off the shelf” logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.