Projects


 

 

 

 

  • Model-Checking Dynamic Epistemic Logic, (2014 – 2017, Kaile Su, Fenrong Liu, Johan van Benthem and Jan van Eijck), National Natural Science Foundation of China (自然科学基金面上项目).