Skip to main content
×
Home
    • Aa
    • Aa

BELIEF REVISION IN NON-CLASSICAL LOGICS

  • DOV GABBAY (a1), ODINALDO RODRIGUES (a1) and ALESSANDRA RUSSO (a2)
Abstract

In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic , the approach enables the definition of belief revision operators for , in terms of a belief revision operation satisfying the postulates for revision theory proposed by Alchourrón, Gärdenfors and Makinson (AGM revision, Alchourrón et al. (1985)). The approach is illustrated by considering the modal logic K, Belnap's four-valued logic, and Łukasiewicz's many-valued logic. In addition, we present a general methodology to translate algebraic logics into classical logic. For the examples provided, we analyse in what circumstances the properties of the AGM revision are preserved and discuss the advantages of the approach from both theoretical and practical viewpoints.

Copyright
Corresponding author
*DEPARTMENT OF COMPUTER SCIENCE, KING'S COLLEGE LONDON LONDON WC2R 2LS, UK E-mail:dov.gabbay@kcl.ac.uk
DEPARTMENT OF COMPUTER SCIENCE, KING'S COLLEGE LONDON LONDON WC2R 2LS, UK E-mail:odinaldo.rodrigues@kcl.ac.uk
DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON SW7 2BZ, UK E-mail:ar3@doc.ic.ac.uk
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A. Darwiche , & J Pearl . (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 129.

A Fuhrmann . (1991). Theory contraction through base contraction. Journal of Philosophical Logic, 20(2), 175203. DOI 10.1007/BF00284974.

D. M. Gabbay , & L Maksimova . (2005). Interpolation and Definability. Modal and Intuitionistic Logics, vol. 1. Oxford, UK: Oxford Science Publications. ISBN 0-19-851174-4.

H. Katsuno , & A. O Mendelzon . (1991). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 263294.

J. P. Martins , & S. C Shapiro . (1988). A model for belief revision. Artificial Intelligence, 35(1), 2579.

H. J Ohlbach . (1991). Semantics-based translations methods for modal logics. Journal of Logic and Computation, 1(5), 691746.

G Priest . (2001). Paraconsistent belief revision. Theoria, 67, 214228.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 8 *
Loading metrics...

Abstract views

Total abstract views: 115 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd May 2017. This data will be updated every 24 hours.