PP-2002-17: D'Agostino, Giovanna and Lenzi, Giacomo (2002) On Modal mu-Calculus with Explicit Interpolants. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2002-17.text.ps.gz Download (125kB) |
|
Text (Abstract)
PP-2002-17.abstract.txt Download (671B) |
Abstract
This paper deals with the logic obtained by extending Kozen
mu-calculus with the so-called `` bisimulation quantifiers''. These
quantifiers allow to look for a subset P satisfying a priperty F(P)
not only within the model, but also in any other model which is
bisimilar to the given one. By using these quantifiers one can
describe explicitly the uniform interpolant of any formula of the
mu-calculus. In this work we provide a complete calculus for the
extended logic.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2002-17 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2002 |
| Uncontrolled Keywords: | mu-calculus, uniform interpolants, bisimulation, bisimulation quantifiers, complete calculus |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/81 |
Actions (login required)
 |
View Item |
