The complexity of one-agent refinement modal logic.
Laura BozzelliHans van DitmarschSophie PinchinatPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- modal logic
- dynamic logic
- decision procedures
- temporal logic
- inference rules
- multi agent systems
- epistemic logic
- classical logic
- multi agent
- autonomous agents
- agent technology
- nonmonotonic logics
- situation calculus
- decision making
- conditional logic
- software agents
- dynamic environments
- agent model
- worst case
- intelligent agents
- default logic
- computational complexity
- modal operators