This workshop on Modal Logics completes a two-part series entitled "Non-Classical Logics and Paradox". While the first part of the series was devoted to Many-Valued Logics, logics that feature more than just two truth values "true" and "false", the focus of the second part is on logics for capturing different ways (or modes) in which statements can be true or false. Most notably, a claim such as "2+2=4" may not only be true, but necessarily so in virtue of universal mathematical laws. On the other hand, it may only possibly be the case that the sun will shine in Bern on the 30th of October 2015. Besides "necessarily" and "possibly", prominent modalities also include epistemic, deontic, and temporal qualifications, such as "Pete knows that", "it is obligatory that", and "it is now the case that", respectively. Many different but related logics for these modalities have been developed in the past. They are now frequently applied in the formal analysis of philosophical argument, in computer science, AI, and related fields.
We are more than happy to announce two talks by Patrick Blackburn. Among a large contribution to philosophical and mathematical logic, he is one of the authors of what is widely know as the "Blue Book", which is still one of the most important reference books to modal logics: P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press.