@inbook{cfeaa3b72ad0406f9661f01ca59364a9,

title = "Revision by Translation",

abstract = "In this paper, we show that it is possible to accomplish belief revision in any logic which is translatable to classical logic. We start with 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. We also consider the case of non-classical logics by taking Belnap's four-valued logic [5] as an example. A sound and complete axiomatization of that logic in classical logic is given and then used in the definition of a belief revision operator for the logic in terms of a classical AGM operator. We show that the operator also verifies the AGM postulates whenever they make sense in the context of non-classical logics.",

author = "Dov Gabbay and Odinaldo Rodrigues and Alessandra Russo",

year = "2000",

language = "English",

isbn = "079238590X",

series = "KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE",

publisher = "Kluwer Academic Publishers",

pages = "3 -- 31",

editor = "B BouchonMeunier and Yager, {R R } and Zadeh, {L A }",

booktitle = "Information, Uncertainty and Fusion",

note = "Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems ; Conference date: 01-01-2000",

}