Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663179 | Journal of Applied Logic | 2006 | 26 Pages |
Abstract
We investigate the complexity of the model checking problem for hybrid logics. We provide model checking algorithms for various hybrid fragments and we prove PSPACE-completeness for hybrid fragments including binders. We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Massimo Franceschet, Maarten de Rijke,