Joshua SackEducation
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 Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong)
PLQP & Company: Decidable Logics for Quantum Algorithms.
To appear in the International Journal of Theoretical Physics.
Online: here
 (with Wiebe van der Hoek)
A modal logic for mixed strategies.
To appear in Studia Logica, 102, 2014, pp. 335–356.
 (with Saleem Watson)
C and C* among intermediate rings.
To appear in Topology Proceedings, 43, 2014, pp. 69–82.
Electronic publication: here
 (with Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong)
Quantum Probabilistic Dyadic SecondOrder Logic.
In the proceedings of the 20th Workshop on Logic, Language, Information and Computation, WoLLIC 2013, Darmstadt, Germany, 2013. Lecture Notes in Computer Science 8071, 2013, pp. 64–80.
Author created version:
pdf
 (with Saleem Watson)
Characterizations of Ideals in Intermediate CRings A(X) via the ACompactifications of X.
Journal of Mathematics and Mathematical Sciences Volume 2013, Article ID 635361.
Available: here
 (with Lorenz Demey and Barteld Kooi)
Logic and Probability.
In the Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). First archived: spring 2013.
Avaible online: here
 (with Luca Aceto, Anna Ingólfsdóttir, and Cristian Prisacariu)
Compositional Reasoning for MultiModal Logics.
In the proceedings of the Symposium on Logical Foundations of Computer Science, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Lecture Notes in Computer Science 7734, 2013. pp. 1–15.
Author created version:
pdf
Technical report:
pdf
 (with Phyllis Panman and Saleem Watson)
Correspondences between ideals and zfilters for rings of continuous functions between C* and C.
Commentationes Mathematicae 52:1, 2012. pp. 11–20.
Author created version:
pdf
 (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 2224, 2012. Lecture Notes in Computer Science 7148, 2012. pp. 396–411.
Author created version: pdf
 (with Luca Aceto, Anna Ingólfsdóttir, and Paul Blain Levy)
Characteristic Formulae for FixedPoint Semantics: A General Framework.
Mathematical Structures in Computer Science 22:2, 2012, pp. 125–173.
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
 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 FixedPoint 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 PaperRecent, Current, or Future TeachingSome EventsSome 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 nonlogicians)
Department of Mathematics and Statistics Colloquium at California State University Long Beach
