Authors
Abstract
We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible necessity and distinct possibility, and that can be used to represent expected effects, refutable knowledge, and so on. We show how KLM-style conditionals can smoothly be integrated with our richer language. We also propose a tableau calculus which is sound and complete with respect to our modal preferential semantics, and of which the computational complexity remains in the same class as that of the underlying classical modal logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2018
ISBN(s)
DOI 10.1080/11663081.2017.1397325
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,916
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Counterfactuals.David Lewis - 1974 - Tijdschrift Voor Filosofie 36 (3):602-605.

View all 33 references / Add more references

Citations of this work BETA

Preferential Accessibility and Preferred Worlds.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Logic, Language and Information 27 (2):133-155.

Add more citations

Similar books and articles

Defending a Simple Theory of Conditionals.Adam Rieger - 2015 - American Philosophical Quarterly 52 (3):253-260.
When Aspect Matters: The Case of Would-Conditionals. [REVIEW]Ana Arregui - 2007 - Natural Language Semantics 15 (3):221-264.
Biscuit Conditionals and Prohibited ‘Then’.Julia Zakkou - 2017 - Thought: A Journal of Philosophy 6 (2):84-92.
Conditionals and Conditional Probabilities: Three Triviality Theorems.H. E. Kyburg Jr - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 287.
Conditionals and Conditional Probabilities: Three Triviality Theorems.Hugues Leblanc & Peter Roeper - 1990 - In Kyburg Henry E., Loui Ronald P. & Carlson Greg N. (eds.), Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 287--306.
Self-Defeating Arguments.John L. Pollock - 1991 - Minds and Machines 1 (4):367-392.

Analytics

Added to PP index
2017-12-22

Total views
40 ( #281,133 of 2,497,801 )

Recent downloads (6 months)
1 ( #428,301 of 2,497,801 )

How can I increase my downloads?

Downloads

My notes