Complete and Tractable Local Linear Time Temporal Logics over Traces.

Bharat Adsul Milind A. Sohoni

Published in: ICALP (2002)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
satisfiability problem
modal logic
concurrent systems
transition systems
np complete
temporal knowledge
computation tree logic
artificial intelligence
computational complexity
np hard
visual information
computationally tractable
predicate logic