Modal Logics for Topological Spaces

Simple item page
dc.creatorGeorgatos, Konstantinos
dc.date2000-07-26
dc.date.accessioned2026-07-07T03:16:24Z
dc.date.available2026-07-07T03:16:24Z
dc.descriptionIn 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.
dc.description25 pages, extened abstract of PHD Dissertation
dc.identifierhttps://arxiv.org/abs/cs/0007038
dc.identifierhttp://arxiv.org/abs/cs/0007038
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30343
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1
dc.titleModal Logics for Topological Spaces
dc.typetext

Files

Collections

arXiv