Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is undecidable and model checking is PSPACE-hard. It is shown here that on the linear frame (ω,
CITATION STYLE
Schwentick, T., & Weber, V. (2007). Bounded-variable fragments of hybrid logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4393 LNCS, pp. 561–572). Springer Verlag. https://doi.org/10.1007/978-3-540-70918-3_48
Mendeley helps you to discover research relevant for your work.