Temporal logics on strings with prefix relation.

Stéphane Demri Morgan Deters

Published in: J. Log. Comput. (2016)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems
data structure
belief revision
transition systems
temporal knowledge
verification method
linear temporal logic
search algorithm
natural language
special case
edit distance