Limitations of the program memory and the expressive power of dynamic logics

DOI10.1006/inco.1993.1018zbMath0780.03010OpenAlexW2056367475MaRDI QIDQ2365759

Michael A. Taitslin, I. Kh. Musikaev

Publication date: 29 June 1993

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1018

zbMATH Keywords

dynamic logicfree one-generated groupoid

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

An infinite pebble game and applications, IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013