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' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. : A. Avron, N. Dershowitz, & A. Rabinovich (版), 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); 巻数 4800 LNCS). https://doi.org/10.1007/978-3-540-78127-1_9