Knowledge on Treelike Spaces
<|reference_start|>Knowledge on Treelike Spaces: This 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.<|reference_end|>
@article{georgatos2000knowledge,
    title={Knowledge on Treelike Spaces},
    author={Konstantinos Georgatos},
    journal={Studia Logica, 1(59), 1997},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0007032},
    primaryClass={cs.LO cs.AI}
}