Interrogative Belief Revision in Modal Logic
(2009) In Journal of Philosophical Logic 38(5). p.527-548- 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... (More)
- 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/1490652
- author
- Enqvist, Sebastian LU
- organization
- publishing date
- 2009
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Belief revision, Modal logic, Questions, Research agenda
- in
- Journal of Philosophical Logic
- volume
- 38
- issue
- 5
- pages
- 527 - 548
- publisher
- Springer
- external identifiers
-
- wos:000269884700003
- scopus:76149117840
- ISSN
- 0022-3611
- DOI
- 10.1007/s10992-009-9101-2
- language
- English
- LU publication?
- yes
- id
- 7b6a668f-ca1e-481e-8047-175549f85fe1 (old id 1490652)
- date added to LUP
- 2016-04-01 12:24:52
- date last changed
- 2022-01-27 03:22:01
@article{7b6a668f-ca1e-481e-8047-175549f85fe1, 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.}}, author = {{Enqvist, Sebastian}}, issn = {{0022-3611}}, keywords = {{Belief revision; Modal logic; Questions; Research agenda}}, language = {{eng}}, number = {{5}}, pages = {{527--548}}, publisher = {{Springer}}, series = {{Journal of Philosophical Logic}}, title = {{Interrogative Belief Revision in Modal Logic}}, url = {{http://dx.doi.org/10.1007/s10992-009-9101-2}}, doi = {{10.1007/s10992-009-9101-2}}, volume = {{38}}, year = {{2009}}, }