Document Preview

Timed modal epistemic logic

Wang, Ren-June.   City University of New York ProQuest Dissertations Publishing,  2012. 3499326.