Coalition logic with individual, distributed and common knowledge1-Reference-Cited by-同舟云学术

Coalition logic with individual, distributed and common knowledge1

Published:2018-08-15 Issue:7 Volume:29 Page:1041-1069
ISSN:1465-363X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Ågotnes Thomas¹,Alechina Natasha²

Affiliation:

1. Department of Information Science and Media Studies, University of Bergen, PB. 7802, 5020 Bergen, Norway

2. School of Computer Science, University of Nottingham, Nottingham NG8 1BB, UK

Abstract

Abstract Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic have so far been missing. In this paper we provide several such results and proofs. We prove completeness for epistemic coalition logic with common knowledge, with distributed knowledge, and with both common and distributed knowledge, respectively. Furthermore, we completely characterise the complexity of the satisfiability problem for each of the three logics. We also study logics with interaction axioms connecting coalitional ability and knowledge.

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/29/7/1041/31910771/exv085.pdf

Reference31 articles.

1. Knowledge and ability;Ågotnes,2015

2. Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge;Ajspur;Logic Journal of the IGPL,2013

3. Logic for coalitions with bounded resources;Alechina;Journal of Logic and Computation,2011

4. Alternating-time temporal logic;Alur;Journal of the ACM,2002

5. Seeing to it that: a canonical form for agentives;Belnap;Theoria,1988

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Counterfactual and seeing-to-it responsibilities in strategic games;Annals of Pure and Applied Logic;2023-12

2. Data-informed knowledge and strategies;Artificial Intelligence;2022-08

3. Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power;Journal of Logic, Language and Information;2022-03-24

4. Budget-constrained coalition strategies with discounting;Journal of Logic and Computation;2021-12-10

5. Modal context restriction for multiagent BDI logics;Artificial Intelligence Review;2021-10-06