PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 74-93 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On modal μ-calculus and non-well-founded set theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
Maarten Marx and Yde Venema, Multi-Dimensional Modal Logic.M. Zakharyaschev - 2000 - Journal of Logic Language and Information 9 (1):128-131.
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 73-84.
Uniform Interpolation, Automata and the Modal mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 73-84.
Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 140-155.
Complete Axiomatization of the Sutter-invariant Fragment of the Linear Time μ-calculus.Amélie Gheerbrant - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 140-155.

Analytics

Added to PP
2018-02-24

Downloads
17 (#895,414)

6 months
7 (#492,113)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

References found in this work

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Book Reviews. [REVIEW]Johan van Benthem - 2001 - Studia Logica 67 (1):111-150.

Add more references