WRLA 2000 Preliminary Version Modal Logic for Rewriting Theories