Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim

Details Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim

2009-02-12

arxiv.org/abs/0902.2104v1

Computer Science

Logic in Computer Science

To appear in Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 09)

Scientific paper

We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common and distributed knowledge for all coalitions of agents. The tableau procedure runs in exponential time, matching the lower bound obtained by Halpern and Vardi for a fragment of our logic, thus providing a complexity-optimal decision procedure for CMATEL(CD+LT).

Affiliated with

Also associated with

No associations

Rating

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-556486