Keyphrases
- dynamic logic
- reasoning about actions
- modal operators
- action language
- concurrent actions
- situation calculus
- logic programming
- modal logic
- practical reasoning
- imperative programs
- indirect effects
- propositional dynamic logic
- classical first order logic
- action sequences
- spatial reasoning
- agent programming
- multiple input
- qualitative reasoning
- formal theory
- programming language
- knowledge base
- machine learning