MODAL LOGIC

Author: BOU MOLINER FÉLIX.
Year: 2004.
University: BARCELONA.
Place of defense: FILOSOFÍA.
Place of preparation: FACULTAD DE FILOSOFÍA.

Summary: This thesis docotral enter here called languages estricto-débiles, and analyzed from various points of vista.Los languages strict weak formal languages are those consisting of conjunction, disjunction, falsum, verum, and additionally an undetermined number of conectivas that semáticamente interpreted structures Kripke differences débiles.Estos languages give us a piece of traditional languages since Manners: Where is the material and involvement is the difference material.Para the case where there is one implication strictly and no difference weak it turns out that the clause semantics for the involvement estrica we get is well known, coincides with the logic of propositional intuicionista (and the many other examples). The languages estricto-débiles discussed in the doctoral thesis, from three different perspectives: theory models (which introduces the concept of quasi bisimilaridad) theory of proof (which introduces the concept of logic estricto-débil) and commputabilidad (characterized kinds of complexity to the logic estricto-débil). The results obtained from these three aspects suggest that although the language estricto-débiles are a fragment of the language manners, in many cases an understanding of what happens to those fragments gives us information about what is happening in all the languages manners (even outside of the fragments above).