Title: Knowing how with coalition power

Speaker:   Bin Liu (PKU)

Time: 15:10 ~ 18:00  (Apr. 25th)

Location: Room 501, No.2 Teaching Building

Abstract: In this talk, we propose a knowing-how logic based on coalition power and multi-step joint actions. This work is an extension of the single-agent multi-step knowing-how logic proposed by Fervari et al. and the single-step knowing-how logic with coalition power proposed by Naumov and Tao. We give an axiomatization of the logic and prove the completeness.