Adding two equivalence relations to the interval temporal logic AB.

Angelo Montanari Marco Pazzaglia Pietro Sala

Published in: ICTCS (2014)

Keyphrases

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