Mostrar el registro sencillo del ítem
A multi-modal logic for Galois connections
dc.contributor.author | Burrieza-Muñiz, Alfredo | |
dc.contributor.author | Pérez-de-Guzmán-Molina, Inmaculada | |
dc.contributor.author | Yuste-Ginel, Antonio | |
dc.date.accessioned | 2022-09-06T10:47:15Z | |
dc.date.available | 2022-09-06T10:47:15Z | |
dc.date.issued | 2022-07-19 | |
dc.identifier.uri | https://hdl.handle.net/10630/24908 | |
dc.description | Advances in Modal Logic 2022 (Rennes, August 22-25) | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | College Publications | es_ES |
dc.relation.ispartofseries | Advances in Modal Logic;14 | |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.subject.other | Galois connection | es_ES |
dc.subject.other | modal logic | es_ES |
dc.subject.other | temporal×modal logic | es_ES |
dc.subject.other | multi-modal logics | es_ES |
dc.subject.other | completeness | es_ES |
dc.subject.other | step-by-step | es_ES |
dc.title | A multi-modal logic for Galois connections | es_ES |
dc.type | info:eu-repo/semantics/conferenceObject | es_ES |
dc.centro | Facultad de Filosofía y Letras | es_ES |