Journal of Applied Non-Classical Logics 28 (1):92-121 (2018)
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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Theory of Conditionals.Robert C. Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory (American Philosophical Quarterly Monographs 2). Oxford: Blackwell. pp. 98-112.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
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.
How to Construct Remainder Sets for Paraconsistent Revisions: Preliminary Report.Rafael Testa, Eduardo Fermé, Marco Garapa & Maurício Reis - 2018 - 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING.
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.Ivan Varzinczak - 2018 - Logica Universalis 12 (3-4):297-325.
Similar books and articles
Conditionals and Possible Worlds : On C.S. Peirce's Conception of Conditionals and Modalities.Risto Hilpinen - 2008 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Belief Change and Suppositional Reasoning: Knowledge Representation, Defeasibility and Conditionals.Horacio Luis Arlo Costa - 1997 - Dissertation, Columbia University
Conditionals: From Philosophy to Computer Science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - Oxford University Press.
A Defeasible Logic For Modelling Policy-Based Intentions And Motivational Attitudes.Guido Governatori, Vineet Padmanabhan, Antonio Rotolo & Abdul Sattar - 2009 - Logic Journal of the IGPL 17 (3):227-265.
Defending a Simple Theory of Conditionals.Adam Rieger - 2015 - American Philosophical Quarterly 52 (3):253-260.
Negativity Bias in Defeasible Reasoning.Lupita Estefania Gazzo Castañeda, Bruno Richter & Markus Knauff - 2016 - Thinking and Reasoning 22 (2):209-220.
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 the Ramsey Test.Sten Lindström & Wlodek Rabinowicz - 1998 - In D. Gabbay & P. Smets (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3.
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.
Conditions, conditionnels, droits conditionnels: L'articulation du jeune Leibniz (Ière Partie).Alexandre Thiercelin - 2009 - Studia Leibnitiana 41 (1):21.
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘ Overwhelming Majority ’ Default Conditionals.Costas D. Koutras & Christos Rantsoudis - 2017 - Journal of Logic, Language and Information 26 (2):109-141.
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 )
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