Adaptive Logic as a Modal Logic

Studia Logica 101 (5):933-958 (2013)
  Copy   BIBTEX

Abstract

Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class of abnormality models, this aim is achieved at the level of the model-theory. By proposing formulae that express the consequence relation of adaptive logic in the object-language, the same aim is also partially achieved at the syntactical level.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2012-10-11

Downloads
75 (#213,716)

6 months
5 (#565,734)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Allo
Vrije Universiteit Brussel

Citations of this work

Logic, Reasoning and Revision.Patrick Allo - 2015 - Theoria 82 (1):3-31.
Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.

Add more citations

References found in this work

A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
Dynamic dialectical logics.Diderik Batens - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 187--217.
Bridges between Classical and Nonmonotonic Logic.David Makinson - 2003 - Logic Journal of the IGPL 11 (1):69-96.

View all 6 references / Add more references