Joshua Sack Associate Professor Department of Mathematics and Statistics California State University Long Beach Office: FO3-217 Email: joshua (dot) sack (at) csulb (dot) edu

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 University of Amsterdam: Institute of Logic, Language and Computation B.S. in Mathematics received in 2001 from University of Wisconsin at Madison

Teaching

• Calculus 3 (MATH 224) at CSULB.
• Introduction to Linear Algebra (MATH 247) at CSULB
• Number Theory (MATH 341) at CSULB
• Ordinary Differential Equations I (MATH 364A) at CSULB
• Introduction to Abstract Algebra (MATH 444) at CSULB
• Topics in Combinatorics and Graph Theory (MATH 495) at CSULB
• Elements of Abstract Algebra (MATH 540) at CSULB
• Topics in Abstract Algebra (MATH 545) at CSULB
• Elements of Topology (MATH 550) at CSULB
• Topics in Topology (MATH 555) at CSULB
• Quantum Logic at the ILLC during January 2015
• Epicenter minicourse on Quantum Logic at Maastricht University, January 2015.
  Slides here: pdf
• Seminar Mathematical Logic at the ILLC during fall 2013
• Reasoning with Probabilites at ESSLLI13 during summer 2013
• Temporal Logic (with Bryan Renne) at the ILLC during summer 2013
• Reasoning with Probabilities (with Eric Pacuit) at ESSLLI09 during the summer 2009

Research

• (with Soumyadip Acharyya, Sudip Kumar Acharyya, and Sagarmoy Bag) Recent progress in Rings and Subrings of Real Valued Measurable Functions. Quaestiones Mathematicae, online first, 2019.
  [Taylor&Francis]
• (James P. Delgande and Bryan Renne) The Logic of Qualitative Probability. Artificial Intelligence 275, 457–486, (2019).
  [ScienceDirect]
• (with Ryan Blair) Idempotents in Tangle Categories Split. Knot Theory and its Ramifications 28:5, 1950025, (2019).
  [World Scientific]
• (with Sudip Kumar Acharyya and Sagarmoy Bag) Ideals in Rings and Intermediate Rings of Measurable Functions. Journal of Algebra and its Applications 19:2, 2050038, (2020).
  [World Scientific]
• (with Kohei Kishida, Soroush Rafiee Rad, and Shengyang Zhong) Categorical Equivalence Between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices. International Journal of Theoretical Physics 56:12, pp. 4060–4072, (2017).
  [SpringerLink]
• (with Will Murray and Saleem Watson) P-spaces and intermediate rings of continuous functions. Rocky Mountain Journal of Mathematics 47:8, pp. 2757–2775, (2017).
  [Project Euclid]
• (with Jort Bergfeld) Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. Soft Computing 21:6, pp. 1421–1441, (2017).
  [SpringerLink]
• (with Andreea Achimescu and Alexandru Baltag) The Probabilistic Logic of Communication and Change. Journal of Logic and Computation 29:7, pp. 1015–1040, (2019).
  [Oxford Academic]
• Logics for Dynamic Epistemic Behavioral Strategies. In Structural Analysis of Non-Classical Logics: the proceedings of the Second Taiwan Philosophical Logic Colloquium. Logic in Asia: Studia Logica Library, pp 159–182, (2016).
  [SpringerLink]
• (with Bryan Renne and Audrey Yap) Logics of Temporal-Epistemic Actions. Synthese 193:3, pp. 813–849, (2016).
  [SpringerLink] [arXiv pdf]
• (with Saleem Watson) Characterizing C(X) among Intermediate C-Rings on X. Topology Proceedings 45, pp. 301–313, (2015).
  [Topology Proceedings 45] [Author created pdf]
• (with Lorenz Demey) Epistemic Probabilistic Logic. In the Handbook of Epistemic Logic. H. van Ditmarsch, J. Halpern, W. van der Hoek and B. Kooi (eds.), College Publications, London, 2015, pp. 147–202, (2015).
• (with Jort Bergfeld, Kohei Kishida, and Shengyang Zhong) Duality for the Logic of Quantum Actions. Studia Logica 103:4, pp. 781–805, (2015).
  [SpringerLink]
• (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, pp. 3628–3647, (2014).
  [SpringerLink]
• (with Wiebe van der Hoek) A modal logic for mixed strategies. Studia Logica 102:2, pp. 339–360, (2014).
  [SpringerLink]
• (with Saleem Watson) C and C* among intermediate rings. Topology Proceedings 43, pp. 69–82, (2014).
  [Topology Proceedings 43] [Author created 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, pp. 98–117, (2014).
  [SpringerLink]
• (with Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong) Quantum Probabilistic Dyadic Second-Order 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, pp. 64–80, (2013).
  [SpringerLink] [Author created pdf]
• (with Saleem Watson) Characterizations of Ideals in Intermediate C-Rings A(X) via the A-Compactifications of X. Journal of Mathematics and Mathematical Sciences Volume 2013, Article ID 635361, (2103).
  [Hindawi]
• (with Lorenz Demey and Barteld Kooi) Logic and Probability. In the Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). First archived: spring 2013. Latest revision: spring 2019.
  [Stanford Encyclopedia of Philosophy]
• (with Luca Aceto, Anna Ingólfsdóttir, and Cristian Prisacariu) Compositional Reasoning for Multi-Modal 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, pp. 1–15, (2013).
  [SpringerLink] [Author created pdf] [Technical report pdf]
• (with Phyllis Panman and Saleem Watson) Correspondences between ideals and z-filters for rings of continuous functions between C* and C. Commentationes Mathematicae 52:1, pp. 11–20, (2012).
  [Author created pdf]
• (with Henning Ulfarsson) Refined inversion statistics on permutations. Electronic Journal of Combinatorics. 19, P29., (2019).
  [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 22-24, 2012. Lecture Notes in Computer Science 7148, pp. 396–411, (2012).
  [SpringerLink] [Author created pdf]
• (with Luca Aceto, Anna Ingólfsdóttir, and Paul Blain Levy) Characteristic Formulae for Fixed-Point Semantics: A General Framework.   Mathematical Structures in Computer Science 22:2, pp. 125–173, (2012).
  [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, pp. 191–199, (2011).
  [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, pp. 68–76, (2010)
  [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, pp. 1431–1461, (2010).
  [ScienceDirect] [Author created 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).
  [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, pp. 263–277, (2009).
  [SpringerLink] [Author created pdf]
• Extending Probabilistic Dynamic Epistemic Logic. Synthese, 169:2, pp. 241–257, (2009).
  [SpringerLink] [Author created pdf]
• Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information, 17:2, pp. 183–216, (2008).
  [SpringerLink] [Author created pdf]

Some Events

• Quantum Undergraduate Education & Scientific Training, held virtually, June 3 and 4, 2021
• Amsterdam Quantum Logic Workshop, a workshop for the project Reasoning about Quantum Interaction, ILLC, UvA, Amsterdam, May 7 and May 8, 2015.
• Amsterdam Quantum Logic Workshop, a workshop for the project Reasoning about Quantum Interaction, ILLC, UvA, Amsterdam, March 31 to April 2, 2014.
• the ICE-TCS Workshop on Logic and Concurrency, Reykjavik, September 15, 2010.

Some Talks

• Quantum Logic and Structure  (2015, November 4)   [pdf]
  Chapman University Mathematics and Computational Science seminar, Orange, CA, USA.
• A Coalgebraic Approach to Graded Modal Logic and Graded Bisimilarity  (2014, November 11)   [pdf]
  Logic Tea. Amsterdam, Netherlands.
• Logic and its Applications to the Sciences   (2014, October 17)   [pdf]
  Department of Optics and Photonics Seminar. National Central University. Jhongli, Taiwan
• Modal Logic for Mixed Strategies in Games   (2014, August 14)   [pdf]
  Dagstuhl Seminar on Formal Methods for Coordinating Multi-Agent 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 non-logicians)
  Department of Mathematics and Statistics Colloquium at California State University Long Beach. Long Beach, CA, USA.