Looping vs. Repeating in Dynamic Logic

David Harel Rivi Sherman

Published in: Inf. Control. (1982)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
arbitrarily complex
multi dimensional
hidden state
propositional dynamic logic
information retrieval
object oriented
general purpose
logic programs
business processes
classical first order logic