Info: [ CV | Travel/Availability ]

Formal Epistemology, Evidence-based Belief Revision, Multi-agent Systems, Dynamic Epistemic Logic, Justification Logic, Epistemic Logic, Modal Logic

• (with Alexandru Baltag and Sonja Smets) The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. Manuscript, May 2012.
  [ PDF | BibTeX ]
• (with Joshua Sack and Audrey Yap) Dynamic Epistemic Temporal Logic. Extended Manuscript, September 2010.
  [ PDF | BibTeX ]
• A Survey of Dynamic Epistemic Logic. Manuscript, July 2008.
  [ PDF | BibTeX ]

• Multi-Agent Justification Logic: Communication and Evidence Elimination. Synthese, 185(S1):43–82, 2012.
  [ Link | PDF | BibTeX ]
• (with Barteld Kooi) Arrow Update Logic. Review of Symbolic Logic, 4(4):536–559, 2011. © 2011 Association for Symbolic Logic.
  [ Link | PDF | BibTeX ]
• (with Barteld Kooi) Generalized Arrow Update Logic. In Proceedings of the 13th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XIII), Groningen, pages 205–211, The Netherlands, 2011. ACM. © 2011 ACM.
  [ Link | PDF (tark.org version) | PDF (author version) | BibTeX ]
• Simple Evidence Elimination in Justification Logic. In P. Girard, O. Roy, and M. Marion, editors, Dynamic Formal Epistemology, volume 351 of Synthese Library, chapter 7, pages 127–149. Springer, 2011. © 2011 Springer Science+Business Media B.V.
  [ Link | BibTeX ]
• Public Communication in Justification Logic. Journal of Logic and Computation, 21(6):1005–1034, 2011.
  [ Link | BibTeX ]
• (with Samuel Bucheli, Roman Kuznets, Joshua Sack, and Thomas Studer) Justified Belief Change. In X. Arrazola and M. Ponte, editors, Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10). The University of the Basque Country Press, 2010.
  [ PDF | BibTeX ]
• (with Joshua Sack 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 (LORI-II), volume 5834/2009 of Lecture Notes in Computer Science, pages 263–277. Springer-Verlag Berlin Heidelberg, 2009. © 2009 Springer-Verlag Berlin Heidelberg.
  [ Link | PDF | BibTeX ]
• Evidence Elimination in Multi-Agent Justification Logic. In A. Heifetz, editor, Proceedings of the 12th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XII), pages 227–236, Stanford, California, USA, 2009. ACM. © 2009 ACM.
  [ Link | PDF | BibTeX ]
• Propositional Games with Explicit Strategies. Information and Computation, 207(10):1015–1043, 2009. © 2009 Elsevier Inc.
  [ Link | PDF | BibTeX ]
• Public and Private Communication are Different: Results on Relative Expressivity. Synthese, 165(2):225–245, 2008. © 2008 Springer Science+Business Media B.V.
  [ Link | PDF | BibTeX ]
• Dynamic Epistemic Logic with Justification. PhD thesis, The City University of New York, 2008.
  [ PDF | BibTeX | Errata ]
• 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 (LORI-I), 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 2006), 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, Information and Computation (WoLLIC 2006), volume 165 of Electronic Notes in Theoretical Computer Science, pages 133–144, Stanford, California, USA, 2006. © 2006 Elsevier B.V.
  [ Link | BibTeX ]
  Note: superseded by Information and Computation version (above, same title).

• "The Dynamic Logic of Justified Knowledge and Belief." The Constructive in Logic and Applications: A Conference in Honor of the 60th Birthday of Sergei Artemov. CUNY Graduate Center, New York, New York, USA, 23–25 May 2012.
• "Arrow Update Logic." ICE-TCS Lectures Series. Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), Reykjavík University, Reykjavík, Iceland, 17 September 2010.
• "Multi-Agent Justification Logic: Communication and Evidence Elimination." ICE-TCS Workshop on Logic and Concurrency. Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), Reykjavík University, Reykjavík, Iceland, 15 September 2010.
• "Multi-Agent Justification Logic: Communication and Evidence Elimination." Information Processing, Rational Beliefs and Social Interaction (10w2133). Banff International Research Station (BIRS) for Mathematical Innovation and Discovery, Banff Centre, Banff, Alberta, Canada, 28 August 2010.
• "How to Tell Time in Epistemic Logic." Work-in-Progress Workshop of Professor Margaret Anne Cameron, Department of Philosophy, University of Victoria. University of Victoria, Victoria, British Columbia, Canada, 10 August 2010.
• "Evidence Elimination in Justification Logic." Justification Logics Seminar. Research Group for Theoretical Computer Science and Logic, Institute of Computer Science and Applied Mathematics, Faculty of Science, University of Bern, Bern, Switzerland, 20 May 2010.
• "Evidence Elimination in Multi-Agent Justification Logic." Logic and Interactive Rationality (LIRA) seminar. Institute for Logic, Language & Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands, 17 February 2010.
• "Dynamic Epistemic Logic." Summer 2009 seminar of Professor Ray Jennings, Department of Philosophy, Simon Fraser University. Simon Fraser University, Burnaby, British Columbia, Canada, 27 July 2009.
• "'Strategies Made Explicit in Dynamic Game Logic': A Paper by Sujata Ghosh." The P. van Emde Boas Swap Session of The Third Workshop in Decisions, Games, & Logic (DGL'09). Université de Lausanne, Faculté des Hautes Etudes Commerciales (HEC Lausanne), Lausanne, Switzerland, 15 June 2009.
• "Simple Evidence Derogation in Justification Logic." Groningen Logic Colloquium (Grolog). University of Groningen, Groningen, The Netherlands, 19 February 2009.
• "Reasoning About Evidence in Hypothetical Situations." Epistemology Meets Logic, Informally. Stanford University, Stanford, California, USA, 31 May 2008.
• "Epistemic Updates in Justification Logics." Dynamic Logic Montréal. Université du Québec à Montréal, Montréal, Québec, Canada, 20 June 2007.
• "Propositional Games with Explicit Strategies." 13th Workshop on Games, Logic, Language, and Computation (GLLC 14). University of Amsterdam, Amsterdam, The Netherlands, 3 October 2006.

• Program Committee Member, 2013 Symposium on Logical Foundations of Computer Science (LFCS 2013), San Diego, California, USA, 6–8 January 2013.
• Program Committee Member, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), Sevilla, Spain, 18–20 June 2012.
• Program Committee Member, 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Spain, 16–22 July 2011.
• Local Organizing Committee Member, 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011), Groningen, The Netherlands, 11–15 July 2011.
• Editor, PHIBOOK: The Yearbook of Philosophical Logic. (Defunct)
• Co-chair, Logic and Computation, 12th ESSLLI Student Session, Dublin, Ireland, 6–17 August 2007.

• Justification Logic, a project course for the MSc in Logic Program at the University of Amsterdam's Institute for Logic, Language and Computation. June 2012.
• CSCI 120: Introduction to Computers, a course for non-majors at Hunter College. Spring 2005.
• CSCI 235: Software Design and Analysis 2, a data structures course at Hunter College. Spring 2004, Fall 2004, Fall 2003.