Advanced

Interrogative Belief Revision in Modal Logic

Enqvist, Sebastian LU (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:
author
organization
publishing date
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
2009-10-19 13:36:20
date last changed
2017-09-10 03:47:44
@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},
  keyword      = {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},
  volume       = {38},
  year         = {2009},
}