A Minimal Temporal Logic with Multiple Fuzzy Truth-Values.

Xinyu Li Xudong Luo Jinsheng Chen

Published in: KMO (2017)

Keyphrases

temporal logic
truth values
model checking
inference rules
modal logic
multi valued
satisfiability problem
boolean logic
fuzzy logic
linear temporal logic
concurrent systems
fixpoint
fuzzy sets
bounded model checking
verification method
dynamic constraints
temporally extended
data model
computation tree logic