M. Kracht

Tools and Techniques in Modal Logic

Germany) Kracht Berlin II. Mathematisches Institut M. (Freie Universitat Berlin