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

Published and Forthcoming Papers

(with Henning Ulfarsson) Refined inversion statistics on permutations. Electronic Journal of Combinatorics. 19, 2012, P29.
arXiv version: here
(with Lijun Zhang) A general framework for probabilistic characterizing formulae. In the proceedings of to the Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Lecture Notes in Computer Science 7148, 2012. pp. 396–411.
Author created version: pdf
(with Luca Aceto, Wiebe van der Hoek, and Anna Ingólfsdóttir) Sigma algebras in probabilistic epistemic dynamics. Proceedings of the Thirteenth conference on Theoretical Aspects of Rationality and Knowledge, ACM, 2011, pp. 191–199.
Author created version: pdf
(with Luca Aceto and Anna Ingólfsdóttir) Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters. 111:2, 2010. pp. 68–76.
Author created version: pdf
(with Samuel Bucheli, Roman Kuznets, Bryan Renne, and Thomas Studer) Justified Belief Change. In X. Arrazola, M. Ponte, editors, Proceedings of Logic and Philosophy of Knowledge, Communication and Action, pp. 135–155, Basque Country Press, 2010.
Author created version: pdf
(with Luca Aceto, Anna Ingólfsdóttir, and Paul Blain Levy) Characteristic Formulae for Fixed-Point Semantics: A General Framework. To appear in Mathematical Structures in Computer Science.
Author created version: pdf
Logic for Update Products and Steps into the Past. Annals of Pure and Applied Logic. 161:12, 2010. pp. 1431–1461.
Author created version: pdf
(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.
Available: here
(with Bryan Renne and Audrey Yap) Dynamic Epistemic Temporal Logic. 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.
Author created version: pdf
Extending Probabilistic Dynamic Epistemic Logic. Synthese, 169:2, 2009. pp. 241–257. Author created version: pdf
Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information, 17:2, 2008. pp. 183–216.
Author created version: pdf

Selected Working Paper

(with Bryan Renne and Audrey Yap) Dynamic Epistemic Temporal Logic — extended manuscript (pdf)

Some Past Events

Organized (with Luca Aceto and Anna Ingólfsdóttir) the ICE-TCS Workshop on Logic and Concurrency, September 15, 2010.
Presented (with Audrey Yap) Dynamic Epistemic Temporal Logic at LORI09.
Taught (with Eric Pacuit) Reasoning with Probabilities at ESSLLI09

Some Talks

Modal logics and their semantics (pdf)
Mathematics Colloquium at California State University Dominguez Hills
General Framework for Probabilistic Characteristic Formulae (pdf)
Verification, Model Checking, and Abstract Interpretation workshop 2012, Philadelphia.
Refined Inversion Statistics on Permutations (pdf)
Joint Mathematics Meetings 2012, Boston.
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