A resolution-based calculus for coalition logic

DOI10.1093/LOGCOM/EXT074zbMATH Open1338.03036OpenAlexW2146865817MaRDI QIDQ2937697FDOQ2937697

Authors: Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt 

Publication date: 12 January 2015

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext074

Recommendations

• A resolution prover for coalition logic
• Ordered resolution for coalition logic
• A Modal Logic for Coalitional Power in Games
• Getting together: a unified perspective on modal logics for coalitional interaction
• scientific article; zbMATH DE number 4027425

zbMATH Keywords

theorem provingresolution methodcoalition logic

Mathematics Subject Classification ID

Noncooperative games (91A10) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Proof complexity of modal resolution
• Ordered Resolution for Coalition Logic
• Logic for coalitions with bounded resources

This page was built for publication: A resolution-based calculus for coalition logic

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