PP200217: D'Agostino, Giovanna and Lenzi, Giacomo (2002) On Modal muCalculus with Explicit Interpolants. [Report]
Text (Full Text)
PP200217.text.ps.gz Download (125kB) 

Text (Abstract)
PP200217.abstract.txt Download (671B) 
Abstract
This paper deals with the logic obtained by extending Kozen mucalculus with the socalled `` 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 mucalculus. In this work we provide a complete calculus for the extended logic.
Item Type:  Report 

Report Nr:  PP200217 
Series Name:  Prepublication (PP) Series 
Year:  2002 
Uncontrolled Keywords:  mucalculus, 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 