Adding one or more equivalence relations to the interval temporal logic.

Angelo Montanari Marco Pazzaglia Pietro Sala

Published in: Theor. Comput. Sci. (2016)

Keyphrases

temporal logic
equivalence relation
model checking
rough set theory
modal logic
rough sets
belief revision
granular computing
binary relations
concept lattice
linear temporal logic
numerical data
partial order
computation tree logic
verification method