Making dynamic logic first-order

This publication has 5 references indexed in Scilit:

• Dynamic algebras and the nature of induction
  Published by Association for Computing Machinery (ACM) ,1980
• Measuring the expressive power of dynamic logics: An application of abstract model theory
  Published by Springer Nature ,1980
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Completeness theorems, incompleteness theorems and models of arithmetic
  Transactions of the American Mathematical Society, 1978
• Arithmetization of metamathematics in a general setting
  Fundamenta Mathematicae, 1960