scientific article; zbMATH DE number 2079045
From MaRDI portal
Publication:4474858
zbMath1044.03513MaRDI QIDQ4474858
Valentin Shehtman, Alexander Chagrov
Publication date: 21 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
A Note on Strictly Positive Logics and Word Rewriting Systems, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Deciding regular grammar logics with converse through first-order logic