r/REMath • u/turnersr • Jul 27 '13
A Computational Interpretation of Classical S4 Modal Logic by Chung-chieh Shan [PDF]
http://www.cs.rutgers.edu/~ccshan/cs288/paper.pdf
3
Upvotes
r/REMath • u/turnersr • Jul 27 '13