Logics for Epistemic Actions: Completeness, Decidability, Expressivity.
Alexandru BaltagLawrence S. MossSlawomir SoleckiPublished in: CoRR (2022)
Keyphrases
- computational properties
- epistemic logic
- expressive power
- decision procedures
- modal logic
- propositional dynamic logic
- description logics
- reasoning about actions
- dynamic epistemic logic
- kripke models
- plan recognition
- modal operators
- conditional logic
- action selection
- inference rules
- human actions
- query answering
- model checking
- database
- proof theory
- dynamic logic
- order sorted
- classical logic
- multiple agents
- decision theoretic
- situation calculus
- human activities
- multi agent systems