David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 38 (5):527 - 548 (2009)
The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of modal logic, so far interrogative belief revision has only been dealt with in the metalanguage approach in which AGM was originally presented. In this paper, I show how to model interrogative belief revision in a modal object language using a class of operators for questions. In particular, the solution I propose will be shown to capture the notion of K-truncation , a method for agenda update in the case of expansion constructed by Olsson & Westlund. Two case studies are conducted: first, an interrogative extension of Krister Segerberg’s system DDL, and then a similar extension of Giacomo Bonanno’s modal logic for belief revision. Sound and complete axioms will be provided for both of the resulting logics.
|Keywords||Belief revision Modal logic Research agenda Questions|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
Jaakko Hintikka (1962). Knowledge and Belief. Ithaca, N.Y.,Cornell University Press.
Citations of this work BETA
Yacin Hamami (2015). The Interrogative Model of Inquiry Meets Dynamic Epistemic Logics. Synthese 192 (6):1609-1642.
Yacin Hamami & Floris Roelofsen (2015). Logics of Questions. Synthese 192 (6):1581-1584.
Sebastian Enqvist (2012). Interrogative Belief Revision Based on Epistemic Strategies. Studia Logica 100 (3):453-479.
Similar books and articles
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Emmanuel J. Genot (2009). The Game of Inquiry: The Interrogative Approach to Inquiry and Belief Revision Theory. Synthese 171 (2):271-289.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229-275.
Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics. LPAR 2010 Short Paper Proceedings.
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.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW] Journal of Philosophical Logic 41 (1):201-236.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press
Added to index2009-03-04
Total downloads68 ( #60,743 of 1,792,815 )
Recent downloads (6 months)3 ( #282,371 of 1,792,815 )
How can I increase my downloads?