Hybrid Logics with Concrete Domains
Sergio Mera · 2006
In this paper we present the hybrid logic HLC(@,#), an extension of HL(@,#), whose models have a concrete domain (such as the natural or real numbers). This logic extends the language of HL(@,#) including terms with equality to deal with concrete domain values. Similar languages have already been investigated in other areas like knowledge representation (e.g., description logics with concrete domains (Baader and Hanschke 1991)) and languages for verification (e.g., half-order logic (Alur and Henzinger 1990)). Our main result is a sound and complete axiomatization for HLC(@,#). We also present an embedding of description logics with concrete domains and half-order logic within our framework.