scientific article

zbMath0679.03004MaRDI QIDQ3835442

I. Kh. Musikaev, Michael A. Taitslin

Publication date: 1989

Full work available at URL: https://eudml.org/doc/72048

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

zbMATH Keywords

expressive power of dynamic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)