PP-2007-04: Situation Calculus Meets Modal Logic

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

[thumbnail of Full Text]
Text (Full Text)

Download (69kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (791B)


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 View Item