Epistemic Logic, University of Isfahan, Spring 2017
Non-Classical Logics, IPM, Spring 2014
Logic for Computer Science, IPM, Spring 2013