Temporal Logics of Repeating Values.

Stéphane Demri Deepak D'Souza Régis Gascon

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

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
temporal knowledge
linear temporal logic
concurrent systems
belief revision
predicate logic
verification method
transition systems
artificial intelligence
multi agent
attribute values