Comete-Parsifal Seminar

Tue Jan 17, 14:30
                LIX, Ecole Polytechnique
           Salle de Reunion, LIX
        http://www.lix.polytechnique.fr/comete/seminar/

Lien pour accéder au campus :
http://www.polytechnique.edu/accueil/vie-sur-le-campus/acceder-au-campus/
Link to reach the campus:
http://www.polytechnique.edu/home/life-on-campus/arriving-on-campus/

Title: Probabilistic modal mu-calculus with independent product
Speaker: Matteo Mio.
Abstract:
The modal µ-calculus (Lµ) is the logic obtained by extending standard
propositional modal logic with least and greatest fixed points
operators. This logic was intensively studied in the last 20 years, as
it allows the expression of many interesting properties of labeled
transition systems.
The probabilistic modal µ-calculus (pLµ) is a generalization of Lµ,
designed for expressing properties of probabilistic labeled transition
systems. In this talk I will discuss an extension of pLµ, called
probabilistic
modal µ-calculus with independent product, which can express more
complex properties of practical interest. We provide two semantics for
this extended logic: one denotational and one based on a new kind of
games which we call Tree games. The main result is the equivalence of
the two semantics. The proof is carried out in ZFC set theory extended
with Martin’s Axiom at the first uncountable cardinal.




--
Andrés A. Aristizábal P.
PhD Student
École Polytechnique
Ingeniero de Sistemas y Computación
Pontificia Universidad Javeriana Cali
Especialista en Periodismo
Universidad de los Andes Bogotá