Knowledge on Treelike Spaces

Simple item page
dc.creatorGeorgatos, Konstantinos
dc.date2000-07-21
dc.date.accessioned2026-07-07T03:16:23Z
dc.date.available2026-07-07T03:16:23Z
dc.descriptionThis paper presents a bimodal logic for reasoning about knowledge during knowledge acquisition. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for this system.
dc.description31 pages
dc.identifierhttps://arxiv.org/abs/cs/0007032
dc.identifierhttp://arxiv.org/abs/cs/0007032
dc.identifierStudia Logica, 1(59), 1997
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30337
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1;I.2.0
dc.titleKnowledge on Treelike Spaces
dc.typetext

Files

Collections

arXiv