2026-05-31T20:57:32Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/249082026-02-03T12:29:21Zcom_10630_2254col_10630_37959
A multi-modal logic for Galois connections
Burrieza-Muñiz, Alfredo
Pérez-de-Guzmán-Molina, Inmaculada
Yuste-Ginel, Antonio
Galois connection
modal logic
temporal×modal logic
multi-modal logics
completeness
step-by-step
Advances in Modal Logic 2022
(Rennes, August 22-25)
2022-09-06T10:47:15Z
2022-09-06T10:47:15Z
2022-07-19
conference output
https://hdl.handle.net/10630/24908
eng
Advances in Modal Logic;14
open access
application/pdf
College Publications