Steven Thomas Kuhn

• Many-sorted modal logics