Logic and Modelling
Applications of Modal Logic

Jörg Endrullis
Vrije Universiteit Amsterdam