PP-2001-21: Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus

PP-2001-21: D'Agostino, Giovanna and Lenzi, Giacomo (2001) Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus. [Report]

[img] Text (Full Text)

Download (152kB)
[img] Text (Abstract)

Download (742B)


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 View Item