Higher-Order Coalition Logic
From MaRDI portal
Publication:2999189
DOI10.3233/978-1-60750-606-5-555zbMath1211.03034OpenAlexW1855820628MaRDI QIDQ2999189
Guido Boella, Leendert van der Torre, Valerio Genovese, Dov M. Gabbay
Publication date: 11 May 2011
Full work available at URL: https://orbilu.uni.lu/bitstream/10993/24943/1/blank.pdf
Related Items (4)
A complete coalition logic of temporal knowledge for multi-agent systems ⋮ A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ A first-order coalition logic for BDI-agents ⋮ Quantified Coalition Logic of Knowledge, Belief and Certainty
This page was built for publication: Higher-Order Coalition Logic