Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.
Valentin GorankoDmitry ShkatovPublished in: AAMAS (2) (2009)
Keyphrases
- epistemic logic
- temporal epistemic
- multi agent systems
- multi agent
- model checking
- modal logic
- dynamic epistemic logic
- inference rules
- decision making
- cooperative
- formal semantics
- logical framework
- multiagent systems
- multi faceted
- temporal reasoning
- temporal information
- coalition formation
- decision theory
- temporal logic
- rough sets
- decision problems
- computation tree logic
- decision makers