Modal fixed-point logic and changing models

Authors:
Johan Van Benthem;Daisuke Ikegami
Affiliations:
Universiteit van Amsterdam, Amsterdam, The Netherlands;Universiteit van Amsterdam, Amsterdam, The Netherlands
Venue:
Pillars of computer science
Year:
2008

Citing 3
Cited 3

Iteration theories: the equational logic of iterative processes

Iteration theories: the equational logic of iterative processes
Exploring logical dynamics

Exploring logical dynamics
Logics of communication and change

Information and Computation

Decisions, Actions, and Games: A Logical Perspective

ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
A Hybrid Public Announcement Logic with Distributed Knowledge

Electronic Notes in Theoretical Computer Science (ENTCS)
In praise of strategies

Games, Actions and Social Software

Quantified Score

Hi-index	0.00

Visualization

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.