1. Constructive Modal Logics, once again Valeria de Paiva Nuance Communications Ilha Grande, August 2013 2. or why it is not working?... 3. ? Sincethe early 90s…