IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013

DOI10.1017/bsl.2013.6zbMath1298.01021OpenAlexW2312566279MaRDI QIDQ2925327

B. I. Zil'ber, Oleg V. Belegradek

Publication date: 21 October 2014

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2013.6

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• The comparison of the expressive power of first-order dynamic logics
• Extended order-generic queries
• Linear logic with fixed resources
• Finite queries do not have effective syntax.
• Linear logic for nets with bounded resources
• Limitations of the program memory and the expressive power of dynamic logics
• Deterministic dynamic logic is strictly weaker than dynamic logic
• 70 years of the journal Uspekhi Matematicheskikh Nauk

This page was built for publication: IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013