A Context Dependent Equivalence Relation Between Kripke Structures.

Published in: CAV (1990)

Keyphrases

context dependent
equivalence relation
rough set theory
context free
natural language
low level
rough sets
high level
modal logic
computational intelligence
model checking
decision making
temporal logic
desirable properties
numerical data