In this paper, we extend Moss and Parikh's bi-modal language for knowledge and effort by an additional modality describing improvement. Like the source language, the new one too has a natural interpretaion in spatial contexts. The result of this is that concepts like the comparison of topologies can be captured within the framework of modal logic now. The main technical issue of the paper is a completeness theorem for the tri-modal system arising from the new language. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Heinemann, B. (2005). The topological effect of improving knowledge acquisition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3789 LNAI, pp. 21–30). Springer Verlag. https://doi.org/10.1007/11579427_3
Mendeley helps you to discover research relevant for your work.