Joshua Sack

Education

Ph.D. in Mathematics received in June 2007
from Indiana University at Bloomington
Dissertation: Adding Temporal Logic to Dynamic Epistemic Logic
Thesis advisor: Lawrence Moss

Certificate in Logic received in 2002
from Universiteit van Amsterdam: Institute of Logic, Language and Computation

B.S. in Mathematics received in 2001
from University of Wisconsin at Madison

Publications

Temporal Languages for Epistemic Programs (pdf)
Journal of Logic, Language and Information 17:2, 2008. pp. 183-216.
The original publication is available at www.springerlink.com

Submitted Papers

Logic for Update Products and Steps into the Past (pdf)
Submitted to the Annals of Pure and Applied Logic

Some Recent Talks

Extending Probabilistic Dynamic Epistemic Logic (pdf)
Guest lecture in the class Advanced Modal Logic at Stanford University.
On Temporal Dynamic Epistemic Logic (pdf)
UCLA Logic Colloquium
Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic (pdf)
(An invitation to Epistemic Logic for non-logicians)
Department of Mathematics and Statistics Colloquium at California State University Long Beach