- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Science Logic
A Road-Map on Complexity for Hybrid Logics
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Towards a general theory of action and time
James Allen (1984)
- Record: found
- Abstract: not found
- Article: not found
Attributive concept descriptions with complements
Manfred Schmidt-Schauß, Gert Smolka (1991)
- Record: found
- Abstract: not found
- Article: not found
A guide to completeness and complexity for modal logics of knowledge and belief
Joseph Y. Halpern, Yoram Moses (1992)