2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30343In this thesis we shall present two logical systems, MP and MP, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.25 pages, extened abstract of PHD DissertationLogic in Computer ScienceArtificial IntelligenceF.4.1text