Intuitionistic Modal Logic: A 15-year retrospective
Charles H. Stewart III, Valeria de Paiva, Natasha Alechina · Journal of Logic and Computation · 2015
The series of workshops on Intuitionistic Modal Logic and Applications (IMLA) owes its existence to the hope that philosophers, mathematical logicians and computer scientists would share information and tools when investigating intuitionistic modal logics and modal type theories, if they knew of each other's work. More than 10 years have passed since the retrospective view of de Paiva et al. [ 10 ], and progress in the area of constructive modal logic has been slow and getting slower. It is our view that differences in the outlook of the various groups of scholars interested in the topic, differences that were once fruitful, now are responsible for a tendency for the new work to be driven by technical issues that have not had wide interest, leading to compartmentalization and waning interest in the IMLA big tent. Work on modal type theories seems to have been pursued in narrow tracts. For instance, much work in the symposium on Principles of Programming Languages (POPL), in specific type systems could be considered work in applied constructive modal logic, but it is not considered so, as this perspective is not considered useful or productive. Generally speaking, topic specialists have stopped expecting outsiders to say anything of interest to them, so they do not make the effort to say anything of interest to outsiders.