AGM Belief Revision in Monotone Modal Logics

LPAR 2010 Short Paper Proceedings (2010)

Abstract

Classical modal logics, based on the neighborhood semantics of Scott and Montague, provide a generalization of the familiar normal systems based on Kripke semantics. This paper defines AGM revision operators on several first-order monotonic modal correspondents, where each first-order correspondence language is defined by Marc Pauly’s version of the van Benthem characterization theorem for monotone modal logic. A revision problem expressed in a monotone modal system is translated into first-order logic, the revision is performed, and the new belief set is translated back to the original modal system. An example is provided for the logic of Risky Knowledge that uses modal AGM contraction to construct counter-factual evidence sets in order to investigate robustness of a probability assignment given some evidence set. A proof of correctness is given

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

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
2011-08-14

Downloads
53 (#218,055)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gregory Wheeler
Frankfurt School Of Finance And Management

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Belief, Awareness, and Limited Reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.

View all 22 references / Add more references

Citations of this work

NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.
Modelling Phenomena and Dynamic Logic of Phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):53-82.

Add more citations

Similar books and articles

Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.