This HTML5 document contains 114 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n13https://web.archive.org/web/20160305061922/http:/philo.ruc.edu.cn/logic/reading/Yde/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6https://books.google.com/
n14http://videolectures.net/ssll09_pinchinat_lag/
n12http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-elhttp://el.dbpedia.org/resource/
n7http://fr.dbpedia.org/resource/Modèle:
n16http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n22http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
n15http://homepages.inf.ed.ac.uk/jcb/Research/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Mu-calcul
rdfs:label
Modal μ-calculus Mu-calcul
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.
owl:sameAs
dbr:Modal_μ-calculus n12:0ft948 wikidata:Q5275729 dbpedia-el:Μ_λογισμός n22:173125200
dbo:wikiPageID
10299067
dbo:wikiPageRevisionID
179359942
dbo:wikiPageWikiLink
dbpedia-fr:NP_(complexité) dbpedia-fr:Jacobus_Willem_de_Bakker dbpedia-fr:Lambda-calcul dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Informatique_théorique dbpedia-fr:P_(complexité) dbpedia-fr:CTL* dbpedia-fr:Point_fixe dbpedia-fr:Leslie_Lamport dbpedia-fr:Jeu_de_parité dbpedia-fr:Co-NP dbpedia-fr:Fonction_monotone dbpedia-fr:Théorie_des_jeux dbpedia-fr:EXPTIME category-fr:Vérification_de_modèles dbpedia-fr:American_Mathematical_Society category-fr:Informatique_théorique dbpedia-fr:Vérification_de_modèles dbpedia-fr:Sucre_syntaxique dbpedia-fr:Théorème_de_Knaster-Tarski dbpedia-fr:PSPACE dbpedia-fr:Treillis_(ensemble_ordonné) dbpedia-fr:Problème_SAT dbpedia-fr:Elsevier dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Calcul_des_propositions dbpedia-fr:Dana_S._Scott dbpedia-fr:Logique_modale dbpedia-fr:Dexter_Kozen dbpedia-fr:Vivacité_(informatique) dbpedia-fr:Theoretical_Computer_Science dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_du_dialogue dbpedia-fr:Logique_dynamique dbpedia-fr:Sûreté_(propriété_de_programme) dbpedia-fr:Algèbre_d'ensembles
dbo:wikiPageExternalLink
n6:books%3Fid=URc5cS-N7nQC&printsec=frontcover n13:mu0612.pdf n14: n15:pubs.html%23mlh-chapter%7Ctitre
dbo:wikiPageLength
16186
dct:subject
category-fr:Informatique_théorique category-fr:Vérification_de_modèles
prop-fr:wikiPageUsesTemplate
n7:Ouvrage n7:, n7:Lien_conférence n7:Lien n7:Article n16:Référence n7:Références n7:Portail
prov:wasDerivedFrom
wikipedia-fr:Mu-calcul?oldid=179359942&ns=0
prop-fr:année
1999 1996 2006 2001 1983
prop-fr:auteur
Julian Bradfield Doron A. Peled André Arnold Orna Grumberg Colin Stirling Damian Niwiński Kozen, Dexter
prop-fr:doi
10.1016
prop-fr:fr
Logique du temps arborescent
prop-fr:isbn
0 978
prop-fr:journal
dbpedia-fr:Theoretical_Computer_Science
prop-fr:langue
en
prop-fr:lieu
New York, Berlin, Heidelberg Cambridge, Massachusetts, USA
prop-fr:lireEnLigne
http://homepages.inf.ed.ac.uk/jcb/Research/pubs.html#mlh-chapter|titre chapitre=Modal mu-calculi n6:books%3Fid=URc5cS-N7nQC&printsec=frontcover
prop-fr:nom
Emerson Clarke, Jr. Stirling
prop-fr:numéro
3
prop-fr:pages
185 333
prop-fr:pagesTotales
721 191 277
prop-fr:prénom
Edmund M. Colin E. Allen
prop-fr:texte
CTL
prop-fr:titre
Model Checking Model Checking and the Mu-calculus Modal and Temporal Properties of Processes Results on the Propositional μ-Calculus Rudiments of μ-Calculus The Handbook of Modal Logic
prop-fr:trad
Computation tree logic
prop-fr:volume
27
prop-fr:éditeur
dbpedia-fr:American_Mathematical_Society Springer Verlag dbpedia-fr:Elsevier MIT press
prop-fr:titreLivre
Descriptive Complexity and Finite Models
foaf:isPrimaryTopicOf
wikipedia-fr:Mu-calcul
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é.