Report - Modelling simultaneous games in dynamic logic · Modelling simultaneous games in dynamic logic ... van Benthem (2001) showed how dynamic logics enhanced with epistemic and pref-erence

Please pass captcha verification before submit form