您即将离开知乎,请注意您的帐号和财产安全。
http://ocw.mit.edu/courses/linguistics-and-philosophy/24-244-modal-logic-fall-2009/index.htm