Structured Nonstandard Dynamic Logic.

Published in: Math. Log. Q. (1984)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
structured data
propositional dynamic logic
agent programming
multiple input
structured learning
classical first order logic
database
information retrieval
artificial intelligence
relational databases