Semantic analysis of non-reflexive logics | OUP Journals & Magazine | IEEE Xplore