Login / Signup
Complete axiomatization and decidability of Alternating-time temporal logic.
Valentin Goranko
Govert van Drimmelen
Published in:
Theor. Comput. Sci. (2006)
Keyphrases
</>
complete axiomatization
alternating time temporal logic
model checking
description logics
imperfect information
query answering
inclusion dependencies
temporal logic
computation tree logic
search algorithm