Journal of Philosophical Logic 38 (5):527-548 (2009)

Abstract
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)
DOI 10.1007/s10992-009-9101-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Inquiry as Inquiry a Logic of Scientific Discovery.Jaakko Hintikka - 1999 - Dordrecht / Boston / London: Kluwer Academic Publishers.

View all 16 references / Add more references

Citations of this work BETA

Logics of Questions.Yacin Hamami & Floris Roelofsen - 2015 - Synthese 192 (6):1581-1584.

View all 7 citations / Add more citations

Similar books and articles

Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.

Analytics

Added to PP index
2009-03-04

Total views
139 ( #85,138 of 2,518,446 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,446 )

How can I increase my downloads?

Downloads

My notes