Shuliang Dong

The aim of this project to extend Pauly's Coalition Logic with nominal and modalities from hybrid modal logic in order to significantly increase its expressive power, and to study the resulting Hybrid Coalition Logic. Coalition Logic is one of the main frameworks for formalizing reasoning about coalitional strategic ability in artificial intelligence and computational social choice. While several researchers have extended the expressive power of basic Coalition Logic, I am not aware of any works on “hybridizing" Coalition Logic, which is surprising since “hybridization" is one of the most successful approaches to extend the expressive power of normal modal logics.