Logic and Modelling
Modal Logic: Correspondence of Formulas and Properties of Frames

Jörg Endrullis
Vrije Universiteit Amsterdam