Knowledge on Treelike Spaces
Author: Georgatos, K.
Source: Studia Logica, Volume 59, Number 2, September 1997 , pp. 271-301(31)
Abstract:This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisitions. 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.
Document Type: Regular Paper
Affiliations: Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-0019 Roma, Italy (email: email@example.com)
Publication date: September 1, 1997