scientific article

zbMath1313.03005MaRDI QIDQ2924071

Wang, Guojun, Huixian Shi, Qingjun Luo, Wei Wang, Qingping Wang

Publication date: 3 November 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfaction degreedynamic model sequencetemporal logic formulaetemporal normal form

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

This page was built for publication: