Prompt Alternating-Time Epistemic Logics.
Benjamin AminofAniello MuranoSasha RubinFlorian ZulegerPublished in: KR (2016)
Keyphrases
- epistemic logic
- propositional dynamic logic
- modal logic
- modal operators
- dynamic epistemic logic
- expressive power
- inference rules
- model checking
- belief change
- classical logic
- multi agent systems
- kripke models
- computation tree logic
- nonmonotonic logics
- valued logic
- conceptual change
- decision trees
- decision procedures
- horn logic
- proof theory
- reasoning about actions
- conditional logic
- databases
- formal semantics
- higher order
- knowledge representation
- artificial intelligence