Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Les anciennes Une de l’IRIT > 2014

Monographie sur les logiques modales : les arcanes de la sémantique de Kripke

Apprendre en faisant. C’est ce que cet ouvrage vous propose sur un sujet habituellement perçu comme abstrait : les logiques modales.

Grâce au logiciel LoTREC librement distribué et complément indispensable du livre, vous pourrez facilement simuler le comportement de chacune de ces logiques, des plus simples aux plus complexes, de manière très progressive, et ainsi percer les arcanes de la sémantique de Kripke. De nombreux exercices pratiques vous seront proposés pour aller plus loin.

Ce livre s’adresse principalement aux curieux, aux étudiants et aux enseignants même non informaticiens.

Lien éditeur