Joshua Sack

Postdoctoral Researcher

Institute of Logic, Language and Computation
University of Amsterdam

Main project: Reasoning about Quantum Interaction

Member of: Dynamics Group

Email: joshua (dot) sack (at) gmail (dot) com

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

Published and Forthcoming Papers


Some Events

Some Talks

  • 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.