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

Couv_KripkesWorld_20_.jpg 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