Loading...
Please wait, while we are loading the content...
Similar Documents
Quantifying over coalitions in epistemic logic (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Hoek, Wiebe Van Der Wooldridge, Michael |
| Description | Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agents in the system. An example is the property “at least m agents know that at most n agents know ϕ”. We present Epistemic Logic with Quantification over Coalitions (ELQC), where the standard common knowledge operator has been replaced allowing expressions of the form 〈P〉C ϕ and [P]C ϕ where P is a coalition predicate, meaning that there is a coalition satisfying P which have common knowledge of ϕ and that all coalitions satisfying P have common knowledge of ϕ, respectively; and similarly for distributed knowledge and everybody-knows. While the language is no more expressive than standard epistemic logic, it is exponentially more succinct. We give a sound and complete axiomatisation for ELQC, and characterise the complexity of its model checking problem. |
| File Format | |
| Language | English |
| Publisher Date | 2008-01-01 |
| Publisher Institution | in Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), eds., Lin Padgham and |
| Access Restriction | Open |
| Subject Keyword | Coalition Predicate Complete Axiomatisation Natural Epistemic Property Standard Epistemic Logic Present Epistemic Logic Epistemic Logic Common Knowledge Standard Common Knowledge Operator Model Checking Problem |
| Content Type | Text |
| Resource Type | Article |
