Monotone Modal Logic and Friends

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

Full description

Bibliographic Details
Main Author: Frittella, Sabine
Other Authors: Aix-Marseille
Language:en
fr
Published: 2014
Subjects:
Logique modale monotone
Théorie de la correspondance
Treillis
Théorie des preuves
Display calculs
Logiques epistemiques
Pdl
Monotone modal logic
Correspondence theory
Lattices
Proof theory
Display calculi
Epistemic logics
Online Access:http://www.theses.fr/2014AIXM4751/document

Internet

http://www.theses.fr/2014AIXM4751/document

Similar Items