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.
展开▼