Implicates and Reduction Techniques for Temporal Logics.

Inman P. de Guzmán Manuel Ojeda-Aciego Agustín Valverde

Published in: JELIA (1998)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
predicate logic
concurrent systems
satisfiability problem
temporal knowledge
linear temporal logic
belief revision
prime implicates
computation tree logic
temporal resolution
transition systems
qualitative and quantitative