Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la théorie de la correspondance. Explication de l'algorithme de Sahlqvist-van Benthem. Discussion des méthodes de preuve exécutables par ordinateur. ©Electre 2025
Paru le : 15/06/2000
Thématique : Langages de programmation
Auteur(s) : Auteur : Paul Gochet Auteur : Pascal Gribomont Auteur : André Thayse
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Langage, cognition, calcul
Série(s) : Logique
ISBN : Non précisé.
EAN13 : 9782746201316
Reliure : Broché
Pages : 392
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.8 cm
Poids: 600 g
Carte fidélité
Mollat Radio
