A hybrid logic for reasoning about knowledge and topology (Q1006488)

The paper adopts and extends the system TOPOLOGIC, introduced by Moss and Parikh in 1992, and presents a hybrid language for subset spaces containing nominals. The extension consists in introducing two kinds of nominals and the global modality in order to model satisfaction operators. The nominals refer either to unique states or to subsets of states. The language is thus apt for modelling topological aspects of knowledge with respect to a neighbourhood of a given state. The author deals with an axiomatization of the set of all subset space validities and proves the soundness, semantic completeness and decidability of this hybrid logic. Finally, in order to study union and complement-closed subset spaces, the author extends the system to deal with algebras of sets. Here, another modal operator, called complementation operator, is introduced and corresponding soundness and completeness theorems are proved.