Deadline: 
10 Julio 2007
Institution: 
IIIA-CSIC
Speaker: 
Fèlix Bou

Modal languages were originally designed to talk about necessity (the box) and possibility (the diamond). Nowadays modal languages are viewed as tools for analyzing the properties of Kripke structures (what includes graphs, transition systems, etc). For instance, the box can mean ``according to my knowledge'', ``after the execution of the program terminates'', etc. This explains why in recent decades modal languages have been applied to numerous fields of computer science, e.g., artificial intelligence, program verification and spatial reasoning. On the other hand, many-valued logics is a standard theoretical tool to analyze vagueness and uncertainty. Here, propositions take values in the real unit interval. The aim of the talk is firstly to introduce (a survey restricted by time limitations) the main theoretical issues of these two worlds: modal logics and many-valued logics. And secondly, and lastly, to show several formalisms that join both worlds.