Monotone Modal Logic and Friends
Cette thèse étudie la théorie de la correspondance et la théorie des preuves pour la logique modale monotone et les logiques qui en sont proches.La première partie de la thèse établit une connexion formelle entre la théorie de la correspondance algorithmique et des résultats de caractérisation duale...
Main Author: | |
---|---|
Other Authors: | |
Language: | en fr |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014AIXM4751/document |