Bryan Renne
Postdoctoral Researcher
Faculty of Philosophy
University of Groningen
Oude Boteringestraat 52
9712 GL Groningen
The Netherlands
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.
[ BibTeX ]
Invited Talks
- A Presentation of S. Ghosh's Paper "Strategies Made Explicit in Dynamic Game Logic." 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), June 15, 2009.
- "Reasoning About Evidence in Hypothetical Situations." 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.
Organizational Activity
- Editor, PHIBOOK: The Yearbook of Philosophical Logic.
- Co-chair, Logic and Computation, 12th ESSLLI Student Session. Dublin, Ireland, August 6–17, 2007.
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
- My travel schedule.
- My friend Mike Nicolls' page.