Modal fixed-point logic and changing models

Johan Van Benthem, Daisuke Ikegami

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

8 Citations (Scopus)


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
Number of pages20
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
  • General Computer Science


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

Cite this