MODAL LOGIC

Auteur: BOU MOLINER FÉLIX.
Année: 2004.
Université: BARCELONA.
Lieu de l'exposition: FILOSOFÍA.
Lieu de préparation: FACULTAD DE FILOSOFÍA.

Résumé: Cette thèse docotral entrez ici appelé langues estricto - débiles, et analysé de différents points de vista.Los langues stricte faible langues officielles sont celles consistant en conjonction, disjonction, falsum, Verum, et en outre un nombre indéterminé de conectivas que semáticamente interprété différences de structures Kripke Débiles.Estos langues nous donner un morceau de langues traditionnelles depuis Manners: Où se trouve le matériel et la participation est la différence material.Para le cas où il ya une implication strictement aucune différence faible et il s'avère que la clause de la sémantique de l'implication estrica nous Obtenir est bien connue, coïncide avec la logique propositionnelle intuicionista (et les nombreux autres exemples). Les langues estricto - débiles discuté dans la thèse de doctorat, à partir de trois perspectives différentes: la théorie des modèles (qui introduit la notion de presque bisimilaridad) théorie de la preuve (qui introduit la notion de logique estricto - débil) et commputabilidad (sortes de complexité caractérise à la Logique estricto - débil). Les résultats obtenus à partir de ces trois éléments donnent à penser que, bien que la langue estricto - débiles sont un fragment de la langue manières, dans de nombreux cas, une compréhension de ce qui arrive à ces fragments nous donne beaucoup d'informations sur ce qui se passe dans toutes les langues moeurs (même à l'extérieur de Les fragments ci-dessus).