High Quality Content by WIKIPEDIA articles! La semantique de Kripke a ete proposee par Saul Aaron Kripke et est la semantique traditionnellement associee a la logique intuitionniste et aux logiques modales. Elle est fondee sur un univers de mondes possibles, c'est-a-dire que le modele qui realise la logique n'est pas constitue d'un seul ensemble, mais il se subdivise en « mondes » entre lesquels existe une relation d'accessibilite. Sachant qu'une modalite modifie une proposition en lui donnant une portee plus ou moins grande, cette relation d'accessibilite permet d'envisager les mondes ou cette proposition modifiee par la modalite est encore valide. Dans la suite nous allons essentiellement parler des modeles pour la logique propositionnelle ou les mondes sont constitues de paires de booleens {vrai,faux} ; pour les modeles du calcul des predicats intuitionniste ou modal on utilise des univers qui sont des ensembles non vides dans lesquels on va interpreter les predicats et les fonctions.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.