Reflexive insensitive modal logics
Logic
2019-02-20 v1
Abstract
We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available.
Keywords
Cite
@article{arxiv.1507.06113,
title = {Reflexive insensitive modal logics},
author = {David Gilbert and Giorgio Venturi},
journal= {arXiv preprint arXiv:1507.06113},
year = {2019}
}