A cooperation logic for declaration structures

DOI10.1007/978-3-642-04893-7_15MaRDI QIDQ3655228zbMATH OpenOpenAlexFDO

Authors Hu Liu

Publication date 7 January 2010

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04893-7_15

zbMATH Keywords

cooperation logicsdeclarationspropositional control

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Other game-theoretic models (91A40)

Recommendations

• On the logic of cooperation and propositional control
• A Modal Logic for Coalitional Power in Games
• Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
• Model-checking iterated games
• Model-checking iterated games

This page was built for publication: A cooperation logic for declaration structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655228)