When logic lays down the law. - Bjørn Jespersen; Ana de Almeida Borges; Jorge del Castillo Tierz; Juan José Conejero Rodríguez; Eric Sancho Adamson; Aleix Solé Sánchez; Nika Pona; Joost J. Joosten (CoRR, 2018)