Supervisor: Vera Stebletsova (v.n.stebletsova@vu.nl)
Finding an AI field for which you can construct a new applicable modal logic.