Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.

Frédéric Lang Radu Mateescu Franco Mazzanti

Published in: TACAS (2) (2020)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
concurrent systems
modal logic
belief revision
satisfiability problem
predicate logic
temporal knowledge
linear temporal logic
verification method
transition systems
computation tree logic
search algorithm
expert systems
reactive systems