Computer Science – Logic in Computer Science
Scientific paper
2012-01-25
Computer Science
Logic in Computer Science
Substantially extended and corrected version of arXiv:0902.2125. To appear in: Logic Journal of the IGPL, special issue on For
Scientific paper
We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfi?ability in the full multi-agent epistemic logic CMAEL(CD) with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for CMAEL(CD) and prove that satisfiability in such structures is equivalent to satis?fiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfi?able input set of formulae of CMAEL(CD) and closes for every unsatisfi?able input set of formulae.
Ajspur Mai
Goranko Valentin
Shkatov Dmitry
No associations
LandOfFree
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge 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 the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-683761