A resolution-based calculus for Coalition Logic

DOI10.1093/LOGCOM/EXT074zbMath1338.03036OpenAlexW2146865817MaRDI QIDQ2937697

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

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

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)

Related Items (2)

Proof complexity of modal resolution ⋮ Ordered Resolution for Coalition Logic

This page was built for publication: A resolution-based calculus for Coalition Logic