Fuzzy Halpern and Shoham's interval temporal logics.
Willem ConradieDario Della MonicaEmilio Muñoz-VelascoGuido SciaviccoIonel Eduard StanPublished in: Fuzzy Sets Syst. (2023)
Keyphrases
- temporal logic
- model checking
- modal logic
- fuzzy sets
- satisfiability problem
- concurrent systems
- interval valued
- linear temporal logic
- fuzzy logic
- membership functions
- mazurkiewicz traces
- verification method
- fuzzy rules
- bounded model checking
- multiple attribute decision making
- belief revision
- transition systems
- interval type fuzzy
- temporal knowledge
- neural network
- real numbers
- fuzzy numbers
- partial order
- fuzzy linear programming