MODAL LOGIC

Autor: BOU MOLINER FÉLIX.
Jahr: 2004.
Universität: BARCELONA [www.ub.es].
Ort der Lesung: FILOSOFÍA.
Ort der Vorbereitung: FACULTAD DE FILOSOFÍA.

Inhaltsangabe: Diese These docotral geben Sie hier genannten Sprachen estricto - débiles, und analysiert aus verschiedenen Punkten des vista.Los Sprachen strengen schwachen formalen Sprachen sind diejenigen, die aus Verbindung, Trennung, falsum, verum, und zusätzlich eine unbestimmte Anzahl von conectivas dass semáticamente interpretiert Kripke Strukturen Unterschiede Débiles.Estos Sprachen geben uns ein Stück der traditionellen Sprachen seit Manners: Wo ist das Material und die Einbeziehung ist der Unterschied material.Para der Fall, wo es ein Implikation streng, und kein Unterschied schwach Es stellt sich heraus, dass die Klausel Semantik für die Beteiligung estrica wir Sie ist bekannt, deckt sich mit der Logik der propositionale intuicionista (und viele andere Beispiele). Die Sprachen estricto - débiles diskutiert in der Doktorarbeit, die aus drei verschiedenen Perspektiven: Theorie Modelle (die führt das Konzept quasi bisimilaridad) Theorie der Beweis (das sich auf das Konzept der Logik estricto - débil) und commputabilidad (charakterisiert Arten von Komplexität auf der Logik estricto - débil). Die Ergebnisse aus diesen drei Aspekte deuten darauf hin, dass, obwohl die Sprache estricto - débiles sind ein Fragment der Sprache, Umgangsformen, in vielen Fällen ein Verständnis dafür, was geschieht mit den Fragmenten gibt uns Informationen darüber, was in allen Sprachen Manieren (auch außerhalb der Die Fragmente oben).