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]

[thumbnail of Full Text] Text (Full Text)
PP-2001-21.text.ps.gz

Download (152kB)
[thumbnail of Abstract] 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 View Item