Constantdomain Modal Logics revised.pdf