Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
Valentin GorankoDmitry ShkatovPublished in: CoRR (2009)
Keyphrases
- epistemic logic
- temporal epistemic
- multi agent
- multi agent systems
- model checking
- modal logic
- multiagent systems
- dynamic epistemic logic
- multi faceted
- decision making
- computation tree logic
- cooperative
- inference rules
- temporal information
- logical framework
- description logics
- temporal logic
- temporal reasoning
- decision problems
- decision makers
- mathematical theory
- autonomous agents
- domain independent