Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem
From MaRDI portal
Publication:3734374
DOI10.1016/S0019-9958(84)80055-8zbMath0599.03028MaRDI QIDQ3734374
Publication date: 1984
Published in: Information and Control (Search for Journal in Brave)
Related Items