Conclusion – cont.

• Logique: de nombreuses application : langage de requêtes pour les bases de données semi structurées, sécurité, …

• Extension de la logique avec la notion de nom privés

• La complexité combiné du problème de model-checking est PSPACE-hard