Login / Signup
An Essay in Combinatory Dynamic Logic
Solomon Passay
Tinko Tinchev
Published in:
Inf. Comput. (1991)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
classical first order logic
agent programming
multiple input
propositional dynamic logic
first order logic