Rules and Reasoning - Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman (Springer, 2019)