PP-2001-21: D'Agostino, Giovanna and Lenzi, Giacomo (2001) Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2001-21.text.ps.gz Download (152kB) |
|
Text (Abstract)
PP-2001-21.abstract.txt Download (742B) |
Abstract
In this paper we deal with the logic of Bisimulation Quantifiers
BQL. This is a logic extending PDL by means of bisimulation
quantifiers: an existential bisimulation quantifier acts like a
standard existential set quantifier but allows to look for a set not
only within the model, but in any other model which is bisimilar to
the given one. It is known that BQL has the same expressive power than
the mu-calculus. In this paper we give a finer look to this
correspondence, by defining a hierarchy for BQL and comparing it with
the mu-calculus hierarchy.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2001-21 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2001 |
| Uncontrolled Keywords: | Bisimulation Quantifiers, mu-calculus, hierarchy problems |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/62 |
Actions (login required)
 |
View Item |
