Logic and Modelling
Modal Logic

Jörg Endrullis
Vrije Universiteit Amsterdam