Research: Dynamic Epistemic Logic, Justification Logic
Working Papers
  • Bryan Renne, Joshua Sack, Audrey Yap. Dynamic Epistemic Temporal Logic. Manuscript, June 2009.
  • Bryan Renne, Joshua Sack, Audrey Yap. Dynamic Epistemic Temporal Logic. Extended Manuscript, June 2009.
  • Bryan Renne. Evidence Elimination in Multi-Agent Justification Logic. Forthcoming in the Proceedings of the 12th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XII), 2009.
  • Bryan Renne. Multi-Agent Justification Logic: Communication and Evidence Elimination. Manuscript, March 2009.
  • Bryan Renne. Simple Evidence Elimination in Justification Logic. Manuscript, March 2009.
  • Bryan Renne. A Survey of Dynamic Epistemic Logic. Manuscript, July 2008.
  • Bryan Renne. Public Communication in Justification Logic. Technical Report TR-2005025, CUNY Ph.D. Program in Computer Science, 2007.
Published Papers
  • Bryan Renne. Propositional Games with Explicit Strategies. Forthcoming in Information and Computation, 2009.
  • Bryan Renne. Public and Private Communication are Different: Results on Relative Expressivity. Synthese, 165(2):225–245, 2008.
  • Bryan Renne. Dynamic Epistemic Logic with Justification. PhD thesis, The City University of New York, 2008.
  • Bryan Renne. 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.
  • Bryan Renne. 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.
  • Bryan Renne. 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.
  • Bryan Renne. 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, California, USA, 2006.
Invited Talks
Organizational Activity
Teaching
  • 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.
Personal