A multi-modal logic for Galois connections.

Inmaculada Perez de Guzmn, Antonio Yuste-Ginel, Alfredo Burrieza

Browse the full AiML paper archive.