| Property |
Value |
| dbo:abstract
|
- En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. Le mu-calcul (propositionnel et modal) a d'abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen. Cette logique permet de décrire les propriétés des systèmes de transition d'états et de les vérifier. De nombreuses logiques temporelles (telles que CTL* ou ses fragments très usités comme (en) ou LTL) sont des fragments du mu-calcul. Une manière algébrique de voir le mu-calcul est de le considérer comme une algèbre de fonctions monotones sur un treillis complet, les opérateurs étant une composition fonctionnelle plus des points fixes ; de ce point de vue, le mu-calcul agit sur le treillis de l'algèbre des ensembles. La sémantique des jeux du mu-calcul est lié aux jeux à deux joueurs à information parfaite, notamment les jeux de parité. (fr)
- En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. Le mu-calcul (propositionnel et modal) a d'abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen. Cette logique permet de décrire les propriétés des systèmes de transition d'états et de les vérifier. De nombreuses logiques temporelles (telles que CTL* ou ses fragments très usités comme (en) ou LTL) sont des fragments du mu-calcul. Une manière algébrique de voir le mu-calcul est de le considérer comme une algèbre de fonctions monotones sur un treillis complet, les opérateurs étant une composition fonctionnelle plus des points fixes ; de ce point de vue, le mu-calcul agit sur le treillis de l'algèbre des ensembles. La sémantique des jeux du mu-calcul est lié aux jeux à deux joueurs à information parfaite, notamment les jeux de parité. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 16186 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1983 (xsd:integer)
- 1996 (xsd:integer)
- 1999 (xsd:integer)
- 2001 (xsd:integer)
- 2006 (xsd:integer)
|
| prop-fr:auteur
|
- André Arnold (fr)
- Damian Niwiński (fr)
- Colin Stirling (fr)
- Doron A. Peled (fr)
- Julian Bradfield (fr)
- Kozen, Dexter (fr)
- Orna Grumberg (fr)
- André Arnold (fr)
- Damian Niwiński (fr)
- Colin Stirling (fr)
- Doron A. Peled (fr)
- Julian Bradfield (fr)
- Kozen, Dexter (fr)
- Orna Grumberg (fr)
|
| prop-fr:doi
| |
| prop-fr:fr
|
- Logique du temps arborescent (fr)
- Logique du temps arborescent (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Cambridge, Massachusetts, USA (fr)
- New York, Berlin, Heidelberg (fr)
- Cambridge, Massachusetts, USA (fr)
- New York, Berlin, Heidelberg (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Stirling (fr)
- Emerson (fr)
- Clarke, Jr. (fr)
- Stirling (fr)
- Emerson (fr)
- Clarke, Jr. (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
|
- 185 (xsd:integer)
- 333 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 191 (xsd:integer)
- 277 (xsd:integer)
- 721 (xsd:integer)
|
| prop-fr:prénom
|
- Colin (fr)
- E. Allen (fr)
- Edmund M. (fr)
- Colin (fr)
- E. Allen (fr)
- Edmund M. (fr)
|
| prop-fr:texte
| |
| prop-fr:titre
|
- Results on the Propositional μ-Calculus (fr)
- Model Checking (fr)
- Modal and Temporal Properties of Processes (fr)
- Model Checking and the Mu-calculus (fr)
- Rudiments of μ-Calculus (fr)
- The Handbook of Modal Logic (fr)
- Results on the Propositional μ-Calculus (fr)
- Model Checking (fr)
- Modal and Temporal Properties of Processes (fr)
- Model Checking and the Mu-calculus (fr)
- Rudiments of μ-Calculus (fr)
- The Handbook of Modal Logic (fr)
|
| prop-fr:titreLivre
|
- Descriptive Complexity and Finite Models (fr)
- Descriptive Complexity and Finite Models (fr)
|
| prop-fr:trad
|
- Computation tree logic (fr)
- Computation tree logic (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. (fr)
- En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; elle est expressive tout en ayant de bonnes propriétés algorithmiques. (fr)
|
| rdfs:label
|
- Modal μ-calculus (en)
- Mu-calcul (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
