Joshua Sack
Published and Forthcoming Papers

(with Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong)
PLQP & Company: Decidable Logics for Quantum Algorithms.
International Journal of Theoretical Physics 53:10, 2014, pp. 3628–3647.
[SpringerLink]
 (with Wiebe van der Hoek)
A modal logic for mixed strategies.
Studia Logica 102:2, 2014, pp. 339–360.
[SpringerLink]
 (with Saleem Watson)
C and C* among intermediate rings.
Topology Proceedings 43, 2014, pp. 69–82.
[Topology Proceedings pdf]
 (with Sebastian Enqvist)
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
In the Proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Lecture Notes in Computer Science 8446, 2014 pp. 98–117.
[SpringerLink]
 (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.
[SpringerLink]
[Author created 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.
[Hindawi]
 (with Lorenz Demey and Barteld Kooi)
Logic and Probability.
In the Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). First archived: spring 2013.
[Stanford Encyclopedia of Philosophy]
 (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.
[SpringerLink]
[Author created 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 pdf]
 (with Henning Ulfarsson)
Refined inversion statistics on permutations. Electronic Journal of Combinatorics. 19, 2012, P29.
[Electronic Journal of Combinatorics]
[arXiv]
 (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.
[SpringerLink]
[Author created 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.
[Cambridge journals]
[Author created 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.
[ACM Digital Library]
[Author created pdf]
 (with Luca Aceto and Anna Ingólfsdóttir)
Resource bisimilarity and graded bisimilarity coincide.
Information Processing Letters. 111:2, 2010. pp. 68–76.
[ScienceDirect]
[Author created 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 pdf]
 Logic for Update Products and Steps into the Past.
Annals of Pure and Applied Logic. 161:12, 2010. pp. 1431–1461.
[ScienceDirect]
[Author created 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.
[EPTCS publication]
 (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.
[SpringerLink]
[Author created pdf]
 Extending Probabilistic Dynamic Epistemic Logic.
Synthese,
169:2, 2009. pp. 241–257.
[SpringerLink]
[Author created pdf]
 Temporal Languages for Epistemic Programs.
Journal of Logic, Language and Information,
17:2, 2008. pp. 183–216.
[SpringerLink] [Author created pdf]
Selected Working Paper
Recent Teaching
Some Events
Some Talks
 Modal Logic for Mixed Strategies in Games (2014, August 14)
[pdf]
Dagstuhl Seminar on Formal Methods for Coordinating MultiAgent Systems. Schloss Dagstuhl, Germany.
 The probabilistic logic of communication and change (2014, July 30)
[pdf]
The eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT). Bergen, Norway.
 Axiomatizing Probabilistic Logic of Quantum Programs (2014, April 1)
[pdf]
Amsterdam Quantum Logic Workshop. Amsterdam, Netherlands.
 Modal logics and their semantics (2012, Feb 22)
[pdf]
Mathematics Colloquium at California State University Dominguez Hills. Carson, CA, USA.
 General Framework for Probabilistic Characteristic Formulae (2012 Jan 22) [pdf]
Verification, Model Checking, and Abstract Interpretation workshop. Philadelphia, PA, USA.
 Refined Inversion Statistics on Permutations (2012, January 4) [pdf]
Joint Mathematics Meetings. Boston, MA, USA.
 Extending Probabilistic Dynamic Epistemic Logic (2008 May 29) [pdf]
Guest lecture in the class Advanced Modal Logic at Stanford University. Stanford, California, USA.
 On Temporal Dynamic Epistemic Logic (2008 February 15) [pdf]
UCLA Logic Colloquium. Los Angeles, CA, USA.
 Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic (2007 November 9) [pdf]
(An invitation to Epistemic Logic for nonlogicians)
Department of Mathematics and Statistics Colloquium at California State University Long Beach. Long Beach, CA, USA.
