High Quality Content by WIKIPEDIA articles! La logique modale est une logique a laquelle on a ajoute des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. Par exemple, on peut modifier la proposition « Il pleut » comme ceci : • Il est possible qu’il pleuve, • Il est demontre qu’il est faux qu’il pleuve, • Il n’est pas permis qu’il pleuve, • Alice sait qu’il pleut. Cette proposition peut donc etre respectivement modifiee avec les modes possible, demontre que ne pas, n’est pas permis, Alice sait.

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