Inequality without irreflexivity
Philippe Balbiani · Journal of Applied Non-Classical Logics · 1999
This paper presents the axioinatization—without the rule of irreflexivity—of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordination.