PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization
| Authors |
|
|---|---|
| Publication date | 2014 |
| Host editors |
|
| Book title | Advances in Modal Logic |
| Book subtitle | AiML 10 |
| ISBN |
|
| Event | Advances in Modal Logic 2014 (AiML 2014), Groningen, the Netherlands |
| Pages (from-to) | 74-93 |
| Publisher | London: College Publications |
| Organisations |
|
| Abstract | It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-calculus. In this paper we provide an exact syntactic characterization of the fragments of the μ-calculus that correspond to PDL and to test-free PDL. In addition we give automata-theoretic characterizations for PDL, with and without tests, which shed light on the relation between these logics and the modal μ-calculus and provide a new framework for the development of the theory of PDL. |
| Document type | Conference contribution |
| Language | English |
| Published at | http://www.aiml.net/volumes/volume10/Carreiro-Venema.pdf |
| Other links | http://www.aiml.net/volumes/volume10/ |
| Downloads |
Carreiro-Venema
(Final published version)
|
| Permalink to this page | |