A goal-directed decision procedure for hybrid PDL
<p>We present the first goal-directed decision procedure for hybrid PDL. The procedure is based on a modular approach that scales from basic modal logic with eventualities to hybrid PDL. The approach is designed so that nominals and eventualities are treated orthogonally. To deal with the comp...
| Autors principals: | , |
|---|---|
| Format: | Journal article |
| Idioma: | English |
| Publicat: |
Springer Netherlands
2014
|
| Matèries: |