PP-2008-19: Modal Fixed-Point Logic and Changing Models

PP-2008-19: van Benthem, Johan and Ikegami, Daisuke (2008) Modal Fixed-Point Logic and Changing Models. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (412B)


We show that propositional dynamic logic and the modal $\mu$-calculus
are closed under product modalities, as defined in current
dynamic-epistemic logics. Our analysis clarifies the latter systems,
while also raising some new questions about fixed-point logics.

Item Type: Report
Report Nr: PP-2008-19
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Modal logic; Fixed-point logic; Product update
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/293

Actions (login required)

View Item View Item