Model checking hybrid logics (with an application to semistructured data) |
| |
| Authors: | Massimo Franceschet Maarten de Rijke |
| |
| Affiliation: | aDepartment of Sciences, University of Chieti-Pescara, Italy;bInformatics Institute, University of Amsterdam, The Netherlands |
| |
| 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. |
| |
| Keywords: | Model checking Modal logics Hybrid logics Semistructured data |
| 本文献已被 ScienceDirect 等数据库收录！ |
