Model checking of fuzzy linear temporal logic based on quantum logic

zbMATH Open1488.68032MaRDI QIDQ3380985FDOQ3380985

Authors: Weiyu Yang, Wenqi Liu 

Publication date: 29 September 2021

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

zbMATH Keywords

model checkingquantum logictemporal logicpossibility theorygeneralized possibility measure

Mathematics Subject Classification ID

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

Cited In (4)

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

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)