Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez. 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Logic Journal of the IGPL, 25(2):253-272, 2017. [doi]
Abstract is missing.