Deadline: 
24 gener 2006
Institution: 
Universidad de Malaga
Speaker: 
Manuel Ojeda Aciego

In this work we develop a logic for formalizing qualitative reasoning. This type of reasoning is generally used, for instance, when one has a lot of data from real world example but the complexity of the numerical model suggests a qualitative (instead of quantitative) approach. Moreover, we provide a sound and complete tableau method for the future fragment of $\mathcal{L}(MQ)$.