Modal fixed-point logic and changing models

Authors
Publication date 2008
Host editors
  • A. Avron
  • N. Dershowitz
  • A. Rabinovich
Book title Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
ISBN
  • 9783540781264
Series Lecture notes in computer science, 4800
Pages (from-to) 146-165
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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
Permalink to this page
Back