PP-2007-04: van Benthem, Johan (2007) Situation Calculus Meets Modal Logic. [Report]
Preview |
Text (Full Text)
PP-2007-04.text.pdf Download (69kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-04.abstract.txt Download (791B) |
Abstract
Situation Calculus and Modal Logic sometimes seem 'worlds apart', but
appearances are deceptive. Taking Reiter's book "Knowledge in Action"
as our running reference, we show how the two research agendas are
closely related. Circumscription and varieties of non-monotonic logic
can be seen as variants of modal logics of belief revision, and key
SitCalc computational methods like regression are equivalent to
techniques involving 'reduction axioms' in dynamic-epistemic and in
epistemic-temporal logic. We also discuss how ideas from Situation
Calculus could still beneficially influence modal logic.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2007-04 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | situation calculus; modal logic; circumscription; ; belief revision; regression; dynamic epistemic logic |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/238 |
Actions (login required)
 |
View Item |
