A multi-modal logic for Galois connections
- Burrieza, A.
- Pérez de Guzmán, I.
- Yuste-Ginel, A.
ISBN: 9781848904132
Year of publication: 2022
Advances in Modal Logic, AiML 2022
Volume: 14
Pages: 155-176
Type: Conference paper
ISBN: 9781848904132
Year of publication: 2022
Advances in Modal Logic, AiML 2022
Volume: 14
Pages: 155-176
Type: Conference paper