Hybrid Logic with Operations on Nominals
Evangelos Tzanis · 2005
Abstract. In this paper we introduce and study an extension of hybrid logic in which the set of nominals is endowed with an algebraic structure. Among other things we present an adaption of the notion of a bisimula-tion to this language, and a sound and complete tableau calculus. 1