Many-sorted modal logics - Kuhn, Steven Thomas (1977)