GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Show simple item record Britz, K Varzinczak, I 2019-03-08T08:36:47Z 2019-03-08T08:36:47Z 2018-06
dc.identifier.citation Britz, K. and Varzinczak, I. 2018. Preferential accessibility and preferred worlds. Journal of Logic, Language and Information, vol. 27(2): 133-155 en_US
dc.identifier.issn 0925-8531
dc.identifier.issn 1572-9583
dc.description 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: A free fulltext non-print version of the article can be viewed at en_US
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.publisher Springer en_US
dc.relation.ispartofseries Worklist;22097
dc.subject Modal logic en_US
dc.subject Non-monotonic reasoning en_US
dc.subject Preferential semantics en_US
dc.title Preferential accessibility and preferred worlds en_US
dc.type Article en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ResearchSpace

Advanced Search


My Account