A resolution-based calculus for coalition logic

DOI10.1093/LOGCOM/EXT074MaRDI QIDQ2937697zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 3.0 Unported

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

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)

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

Cited in

(4)

• A resolution prover for coalition logic
• Proof complexity of modal resolution
• Logic for coalitions with bounded resources
• Ordered resolution for coalition logic

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)