Logo del repository
  1. Home
 
Opzioni

Model checking for hybrid logics (with an application to semistructured data)

FRANCESCHET, Massimo
•
M. DE RIJKE
2006
  • journal article

Periodico
JOURNAL OF APPLIED LOGIC
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.
DOI
10.1016/j.jal.2005.06.010
Archivio
http://hdl.handle.net/11390/854642
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33746791937
Diritti
closed access
Scopus© citazioni
47
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback