Find link

language:

Find link is a tool written by Edward Betts.

searching for Alternating-time temporal logic 2 found (5 total)

alternate case: alternating-time temporal logic

Orna Kupferman (512 words) [view diff] exact match in snippet view article find links to article

on Computational Logic. Kupferman, Orna (September 2002). "Alternating-time temporal logic". Journal of the ACM. 49 (5): 672–713. doi:10.1145/585265.585270

2-EXPTIME (960 words) [view diff] exact match in snippet view article find links to article

is 2-EXPTIME-complete. The satisfiability problem of ATL* (alternating-time temporal logic) is 2-EXPTIME-complete. Implicational Relevance Logic is 2-EXPTIME-complete