Coalition logic with individual, distributed and common knowledge1

DOI10.1093/logcom/exv085zbMath1444.03021OpenAlexW2337050893MaRDI QIDQ5215820

Natasha Alechina, Thomas Ågotnes

Publication date: 13 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://eprints.nottingham.ac.uk/35768/

zbMATH Keywords

computational complexitycompletenesscommon knowledgeepistemic logicdistributed knowledgecoalition logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Agent technology and artificial intelligence (68T42)

Related Items

Data-informed knowledge and strategies, Logics with group announcements and distributed knowledge: completeness and expressive power, BISIMULATIONS FOR KNOWING HOW LOGICS, Counterfactual and seeing-to-it responsibilities in strategic games, Neighborhood semantics for logic of knowing how, Planning-based knowing how: a unified approach, Intelligence in Strategic Games, On composition of bounded-recall plans, Knowing the price of success