24 gener 2006
Universidad de Malaga
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)$.