Modal fixed-point logic and changing models

Johan Van Benthem, Daisuke Ikegami

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationPillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
EditorsArnon Avron, Nachum Dershowitz, Alexander Rabinovich
Pages146-165
Number of pages20
DOIs
Publication statusPublished - 2008 Aug 27
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4800 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Modal fixed-point logic and changing models'. Together they form a unique fingerprint.

  • Cite this

    Van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 146-165). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4800 LNCS). https://doi.org/10.1007/978-3-540-78127-1_9