Keyphrases
- dynamic logic
- modal operators
- propositional dynamic logic
- modal logic
- epistemic logic
- reasoning about actions
- imperative programs
- machine translation
- situation calculus
- query translation
- belief change
- temporal logic
- dynamic epistemic logic
- multiple input
- partially ordered
- agent programming
- classical first order logic
- nonmonotonic logics
- neural network
- first order logic
- partial order
- description logics
- natural language
- multi agent