Modal fixed-point logic and changing models

Johan Van Benthem; Daisuke Ikegami

doi:10.1007/978-3-540-78127-1_9

Modal fixed-point logic and changing models

Johan Van Benthem, Daisuke Ikegami

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 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 language	English
Title of host publication	Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Editors	Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
Pages	146-165
Number of pages	20
DOIs	https://doi.org/10.1007/978-3-540-78127-1_9
Publication status	Published - 2008 Aug 27
Externally published	Yes

Publication series

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

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-78127-1_9

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

Modal fixed-point logic and changing models. / Van Benthem, Johan; Ikegami, Daisuke.

Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. ed. / Arnon Avron; Nachum Dershowitz; Alexander Rabinovich. 2008. p. 146-165 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4800 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4800 LNCS, pp. 146-165. https://doi.org/10.1007/978-3-540-78127-1_9

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

Van Benthem, Johan ; Ikegami, Daisuke. / Modal fixed-point logic and changing models. Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. editor / Arnon Avron ; Nachum Dershowitz ; Alexander Rabinovich. 2008. pp. 146-165 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ac1ea4c79e6b4c399e2b79bba6811856,

title = "Modal fixed-point logic and changing models",

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.",

author = "{Van Benthem}, Johan and Daisuke Ikegami",

year = "2008",

month = aug,

day = "27",

doi = "10.1007/978-3-540-78127-1_9",

language = "English",

isbn = "3540781269",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "146--165",

editor = "Arnon Avron and Nachum Dershowitz and Alexander Rabinovich",

booktitle = "Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday",

}

TY - GEN

T1 - Modal fixed-point logic and changing models

AU - Van Benthem, Johan

AU - Ikegami, Daisuke

PY - 2008/8/27

Y1 - 2008/8/27

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=49949116986&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=49949116986&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-78127-1_9

DO - 10.1007/978-3-540-78127-1_9

M3 - Conference contribution

AN - SCOPUS:49949116986

SN - 3540781269

SN - 9783540781264

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 146

EP - 165

BT - Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

A2 - Avron, Arnon

A2 - Dershowitz, Nachum

A2 - Rabinovich, Alexander

ER -

Modal fixed-point logic and changing models

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this