Epistemic Logic with Partial Dependency Operator. - Xinyu Wang 009 (LORI, 2019)

Knowledge-Now and Knowledge-All. - Xinyu Wang 009; Yanjing Wang 001 (LORI, 2019)