Modal accounts of normality in non-monotonic reasoning traditionally have an underlying semantics based on a notion of preference amongst worlds. In this paper, we motivate and investigate an alternative semantics, based on ordered accessibility relations in Kripke frames. The underlying intuition is that some world tuples may be seen as more normal, while others may be seen as more exceptional. We show that this delivers an elegant and intuitive semantic construction, which gives a new perspective on defeasible necessity. Technically, the revisited logic does not change the expressive power of our previously defined preferential modalities. This conclusion follows from an analysis of both semantic constructions via a generalisation of bisimulations to the preferential case. Reasoners based on the previous semantics therefore also suffice for reasoning over the new semantics. We complete the picture by investigating different notions of defeasible conditionals in modal logic that can also be captured within our framework.
Reference:
Britz, K. and Varzinczak, I. 2018. Preferential accessibility and preferred worlds. Journal of Logic, Language and Information, vol. 27(2): 133-155
Britz, K., & Varzinczak, I. (2018). Preferential accessibility and preferred worlds. http://hdl.handle.net/10204/10767
Britz, K, and I Varzinczak "Preferential accessibility and preferred worlds." (2018) http://hdl.handle.net/10204/10767
Britz K, Varzinczak I. Preferential accessibility and preferred worlds. 2018; http://hdl.handle.net/10204/10767.
Copyright: 2018 Springer. Due to copyright restrictions, the attached PDF file only contains the abstract of the full text item. For access to the full text item, please consult the publisher's website: https://doi.org/10.1007/s10849-017-9264-0. A free fulltext non-print version of the article can be viewed at https://rdcu.be/bpFi0