García Ávila, Luz María (Date of defense: 2012-07-12)
This is a contribution to combinatorial set theory, specifically to infinite Ramsey Theory, which deals with partitions of infinite sets. The basic pigeon hole principle states that for every partition ...
Dellunde i Clavé, Pilar (Date of defense: 1996-01-01)
La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. ...
Pardo Ventura, Pere (Date of defense: 2013-11-19)
In this thesis, we study planning systems based on logics, for two particular cases: Temporal Defeasible Logic Programming t-DeLP and the Logics of Communication and Change LCC. A planning problem ...
Rey Sampedro, David Alejandro (Date of defense: 2016-12-20)
The present dissertation explores the hypothesis that English is a language with time-shifting grammatical devices. According to this hypothesis, the linguistic objects of English grammar which serve ...
Briciu, Adrian (Date of defense: 2015-07-17)
The general aim of this dissertation is to analyze two intersecting topics. One is what constraints the principle(s) of compositionality place on semantic theories, and the second is whether context-sensitivity ...