Model checking of fuzzy linear temporal logic based on quantum logic

MaRDI QIDQ3380985zbMATH OpenFDO

Authors Weiyu Yang, Wenqi Liu

Publication date 29 September 2021

zbMATH Keywords

generalized possibility measuremodel checkingpossibility theoryquantum logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Fuzzy logic; logic of vagueness (03B52) Quantum logic (03G12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Quantitative model checking of linear-time properties based on generalized possibility measures
• Model checking fuzzy computation tree logic
• Abstraction and approximation in fuzzy temporal logics and models
• scientific article; zbMATH DE number 6454071
• Symbolic checking of fuzzy CTL on fuzzy program graph

Cited in

(4)

• Symbolic checking of fuzzy CTL on fuzzy program graph
• Abstraction and approximation in fuzzy temporal logics and models
• Model checking fuzzy computation tree logic
• On relation between linear temporal logic and quantum finite automata

This page was built for publication: Model checking of fuzzy linear temporal logic based on quantum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3380985)