Classificatory Aspects of Counts-as: An Analysis in Modal Logic | OUP Journals & Magazine | IEEE Xplore