Email Record: Model theory for modal logic :