Coarse Deontic Logic (short version)

In recent work, Cariani has proposed a semantics for ought that combines two features: (i) it invalidates Inheritance in a principled manner; (ii) it allows for coarseness, which means that ought(y) can be true even if there are specific ways of making y true that are (intuitively speaking) impermissible. We present a group of multi-modal logics based on Cariani's proposal. We study their formal properties and compare them to existing approaches in the deontic logic literature most notably Anglberger et al.'s logic of obligation as weakest permission, and deontic stit logic.