Modal fixed-point logic and changing models

Johan Van Benthem, Daisuke Ikegami

研究成果: Conference contribution

6 被引用数 (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.

本文言語English
ホスト出版物のタイトルPillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
編集者Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
ページ146-165
ページ数20
DOI
出版ステータスPublished - 2008 8 27
外部発表はい

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
4800 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Modal fixed-point logic and changing models」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル