Research
Formal Epistemology, Evidence-based Belief Revision, Multi-agent Systems, Dynamic Epistemic Logic, Justification Logic, Epistemic Logic, Modal Logic
Working Papers
Published Papers
  • (with Alexandru Baltag and Sonja Smets) The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1):49–81, 2014. © 2013 Elsevier B.V.
  • Comments on the Logic of Justification. Logic Across the University: Foundations and Applications—Proceedings of the Tsinghua Logic Conference, Beijing, 14–16 October 2013, volume 47 of Studies in Logic, pages 13–14, London, 2013. College Publications.
  • (with Alexandru Baltag and Sonja Smets) The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In L. Ong and R. de Queiroz, editors, Proceedings of the 19th Workshop of Logic, Language, Information and Computation (WoLLIC 2012), volume 7456 of Lecture Notes in Computer Science, pages 168–190, Buenos Aires, Argentina. Springer-Verlag Berlin Heidelberg, 2012. © 2012 Springer-Verlag Berlin Heidelberg.
  • Multi-Agent Justification Logic: Communication and Evidence Elimination. Synthese, 185(S1):43–82, 2012.
  • (with Barteld Kooi) Arrow Update Logic. Review of Symbolic Logic, 4(4):536–559, 2011. © 2011 Association for Symbolic Logic.
  • (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. ACM, 2011. © 2011 ACM.
  • 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.
  • Public Communication in Justification Logic. Journal of Logic and Computation, 21(6):1005–1034, 2011.
  • (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.
  • (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 of Lecture Notes in Computer Science, pages 263–277. Springer-Verlag Berlin Heidelberg, 2009. © 2009 Springer-Verlag Berlin Heidelberg.
  • 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. ACM, 2009. © 2009 ACM.
  • Propositional Games with Explicit Strategies. Information and Computation, 207(10):1015–1043, 2009. © 2009 Elsevier Inc.
  • Public and Private Communication are Different: Results on Relative Expressivity. Synthese, 165(2):225–245, 2008. © 2008 Springer Science+Business Media B.V.
  • Dynamic Epistemic Logic with Justification. PhD thesis, The City University of New York, 2008.
  • 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.
  • 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.
  • 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.
  • 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.
    Note: superseded by Information and Computation version (above, same title).
Invited Talks
Organizational Activity
Teaching