Login / Signup
Unificational Dynamic Logic.
Jan Grabowski
Published in:
J. Inf. Process. Cybern. (1986)
Keyphrases
</>
dynamic logic
modal logic
imperative programs
reasoning about actions
first order logic
propositional dynamic logic
knowledge base
agent programming
modal operators
classical first order logic