Joshua Sack

Employment

Postdoctoral Researcher
School of Computer Science
Reykjavík University
Iceland

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

(with Luca Aceto and Anna Ingólfsdóttir) Characteristic Formulae for Fixed-Point Semantics: A General Framework. In the proceedings of the 16th International Workshop on Expressiveness and Concurrency 2009.
(with Bryan Renne and Audrey Yap) Dynamic Epistemic Temporal Logic. (pdf)
In X. He, J. Horty, and E. Pacuit, editors, Logic, Rationality and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings, Lecture Notes in Computer Science 5834, 2009. pp. 263–277.
Extending Probabilistic Dynamic Epistemic Logic (pdf)
Synthese, 169:2, 2009. pp. 241–257.
Temporal Languages for Epistemic Programs (pdf)
Journal of Logic, Language and Information, 17:2, 2008. pp. 183–216.

Working Papers

Logic for Update Products and Steps into the Past (pdf)
Submitted to the Annals of Pure and Applied Logic
(with Bryan Renne and Audrey Yap) Dynamic Epistemic Temporal Logic — extended manuscript (pdf)

Recent Events

Presented (with Audrey Yap) Dynamic Epistemic Temporal Logic at LORI09.
Taught (with Eric Pacuit) Reasoning with Probabilities at ESSLLI09

Some 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