Relational Logics_Josep Alcover (click to download PDF) Relational Logics_Josep Alcover