Graduate studies at Western
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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW] Journal of Philosophical Logic 41 (1):201-236.
Giacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Johan van Benthem (2007). Dynamic Logic for Belief Revision. Journal of Applied Non-Classical Logics 17 (2):129-155.
Dimiter Vakarelov (1985). An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics. Studia Logica 44 (1):79 - 85.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Gregory Wheeler & Marco Alberti (2011). NO Revision and NO Contraction. Minds and Machines 21 (3):411-430.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Added to index2011-08-14
Total downloads10 ( #114,476 of 739,396 )
Recent downloads (6 months)1 ( #61,680 of 739,396 )
How can I increase my downloads?