Modal fixed-point logic and changing models
| Authors | |
|---|---|
| Publication date | 2008 |
| Host editors |
|
| Book title | Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday |
| ISBN |
|
| Series | Lecture notes in computer science, 4800 |
| Pages (from-to) | 146-165 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | We show that propositional dynamic logic and the modal μ-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. |
| Document type | Chapter |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-540-78127-1_9
(Final published version)
|
| Permalink to this page | |