Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics.

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

temporal logic
satisfiability problem
mazurkiewicz traces
model checking
modal logic
functional dependencies
search algorithm
special case
scheduling problem
np complete
qualitative and quantitative
phase transition