PP-2007-04: Situation Calculus Meets Modal Logic

PP-2007-04: van Benthem, Johan (2007) Situation Calculus Meets Modal Logic. [Report]

[img]
Preview
Text (Full Text)
PP-2007-04.text.pdf

Download (69kB) | Preview
[img] 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 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 View Item