A completeness theorem for dynamic logic.

László Csirmaz

Published in: Notre Dame J. Formal Log. (1985)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
von neumann
data sets
agent programming
classical first order logic
real time
data quality
digital topology
neural network
logic programming
first order logic
temporal logic