Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem

Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem Peter H. Schmitt 147-158 Information and Control May 1984 61 2 db/journals/iandc/iandc61.html#Schmitt84