Courses of 2022 Logic, Data and Incomplete Information, by Phokion G.Kolaitis（University of California Santa Cruz & IBM Research） Expressivity and Inference in Hybrid Logic, by Patrick Blackburn （Section for Philosophy and Science Studies, IKH, Roskilde University）
