scientific article; zbMATH DE number 7403795

zbMATH Open1488.68032MaRDI QIDQ3380985FDOQ3380985

Weiyu Yang, Wenqi Liu

Publication date: 29 September 2021

Title of this publication is not available (Why is that?)

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)

This page was built for publication:

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