A multi-modal logic for Galois connections
| dc.centro | Facultad de Filosofía y Letras | es_ES |
| 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.departamento | Filosofía | |
| dc.description | Advances in Modal Logic 2022 (Rennes, August 22-25) | es_ES |
| dc.identifier.uri | https://hdl.handle.net/10630/24908 | |
| dc.language.iso | eng | es_ES |
| dc.publisher | College Publications | es_ES |
| dc.relation.ispartofseries | Advances in Modal Logic;14 | |
| dc.rights.accessRights | open access | 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 | conference output | es_ES |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 92ea79dc-beaf-423c-8d89-671c82d0f890 | |
| relation.isAuthorOfPublication | 792293a1-01ec-4632-a955-efebe669dc56 | |
| relation.isAuthorOfPublication.latestForDiscovery | 92ea79dc-beaf-423c-8d89-671c82d0f890 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- MML_for_GC_aiml2022_camera_ready_submitted.pdf
- Size:
- 514.72 KB
- Format:
- Adobe Portable Document Format
- Description:

