29th European Summer School in Logic, Language, and Information
University of Toulouse (France), 17-28 July, 2017

7th Intuitionistic Modal Logic and Applications (IMLA)

Valeria de Paiva, Sergei Artemov

Workshop First week, from 11:00 to 12:30


The workshop continues a series of previous workshops which were held as part of FLoC1999, Trento, Italy, of FLoC2002, Copenhagen, Denmark, as part of LiCS2005, Chicago, USA and LiCS2008, Pittsburgh, USA, as part of the 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 25 July, 2011 and associated with UNILOG 2013, Rio de Janeiro, Brazil.

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic. The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction, for given applications.