scientific article; zbMATH DE number 1775476

zbMath0991.03031MaRDI QIDQ4542603

Vladimir L. Vasyukov

Publication date: 4 August 2002

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

zbMATH Keywords

possible-worlds semanticsinfinite-valued tense logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Temporal logic (03B44)

This page was built for publication: