Research: Dynamic Epistemic Logic, Justification Logic

• A Survey of Dynamic Epistemic Logic. Manuscript, May 2008.
  [ PDF | BibTeX ]
• Public and Private Communication are Different: Results on Relative Expressivity. Technical Report TR-2008001, CUNY Ph.D. Program in Computer Science, 2008.
  [ PDF | BibTeX ]
• Public Communication in Justification Logic. Technical Report TR-2005025, CUNY Ph.D. Program in Computer Science, 2007.
  [ PDF | BibTeX ]
• Propositional Games with Explicit Strategies. Technical Report TR-2005012, CUNY Ph.D. Program in Computer Science, 2007.
  [ PDF | BibTeX ]

• Dynamic Epistemic Logic with Justification. PhD thesis, The City University of New York, 2008.
  [ PDF | BibTeX ]
• The Relative Expressivity of Public and Private Communication in BMS Logic. In J. van Benthem, S. Ju, and F. Veltman, editors, A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality, and Interaction, Beijing, 2007, volume 8 of Texts in Computer Science, pages 213–229. College Publications, 2007.
  [ PDF | BibTeX ]
• Bisimulation and Public Announcements in Logics of Explicit Knowledge. In S. N. Artemov and R. Parikh, editors, Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language, and Information (ESSLLI), Málaga, Spain, 2006.
  [ PDF | BibTeX ]
• Semantic Cut-Elimination for Two Explicit Modal Logics. In J. Huitink and S. Katrenko, editors, Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, 2006.
  [ PDF | BibTeX ]
• Propositional Games with Explicit Strategies. In G. Mints and R. de Queiroz, editors, Proceedings of the 13th Workshop on Logic, Language, and Computation (WoLLIC), Stanford, CA, 2006.
  [ BibTeX ]

• Epistemology Meets Logic, Informally. Stanford University, May 31, 2008.
• "Epistemic Updates in Justification Logics." Dynamic Logic Montréal. Université du Québec à Montréal, June 20, 2007.
• "Propositional Games with Explicit Strategies." 13th Workshop on Games, Logic, Language, and Computation (GLLC 14). Universiteit van Amsterdam, October 3, 2006.

• Editor, PHIBOOK: The Yearbook of Philosophical Logic.
• Co-chair, Logic and Computation, 12th ESSLLI Student Session. Dublin, Ireland, August 6–17, 2007.

• CSCI 120: Introduction to Computers at Hunter College. Spring 2005.
• CSCI 235: Software Design and Analysis 2 at Hunter College. Spring 2004, Fall 2004, Fall 2003.

• My travel schedule.
• My friend Mike Nicolls' page.