Revision by Translation
(short version)

Dov Gabbay

Department of Computer Science
King's College
London, WC2R 2LS, UK
dg@dcs.kcl.ac.uk
http://www.dcs.kcl.ac.uk/staff/dg

Odinaldo Rodrigues

Department of Computer Science
King's College
London, WC2R 2LS, UK
odinaldo@dcs.kcl.ac.uk
http://www.dcs.kcl.ac.uk/staff/odinaldo

Alessandra Russo

Department of Computing
Imperial College
180 Queen's Gate
London, SW7 2BZ, UK
ar3@doc.ic.ac.uk
http://www-dse.doc.ic.ac.uk/~ar3

Abstract

In this paper, we show that it is possible to accomplish belief revision in any logic which is translatable to classical logic. We give the example of the propositional modal logic K and show that a belief operation in K defined in terms of K's translation to classical logic verifies the AGM postulates.

Dvi-file
PS-File
PDF-File
Bibtex Entry