Login / Signup
On some extensions of dynamic logic.
Ewa Orlowska
Published in:
Logic of Programs (1980)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
multiple input
propositional dynamic logic
classical first order logic
neural network
default logic
default theories
multi dimensional
first order logic
modal operators