Bryan Renne
Postdoctoral Researcher
Faculty of Philosophy
University of Groningen
Oude Boteringestraat 52
9712 GL Groningen
The Netherlands
Working Papers
- Bryan Renne, Joshua Sack, Audrey Yap. Dynamic Epistemic Temporal Logic. Extended Manuscript, July 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, Joshua Sack, 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, volume 5834/2009 of Lecture Notes in Computer Science, pages 263–277. Springer Berlin/Heidelberg, 2009.
- Bryan Renne. Evidence Elimination in Multi-Agent Justification Logic. In Aviad Heifetz, editor, Proceedings of the 12th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XII), pages 227–236, Stanford, California, USA, 2009.
- Bryan Renne. Propositional Games with Explicit Strategies. Information and Computation, 207(10):1015–1043, 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, Information, and Computation (WoLLIC),
volume 165 of
Electronic Notes in Theoretical Computer Science,
pages 133–144,
Stanford, California, USA, 2006.
[ BibTeX ]Note: superseded by Information and Computation version (above, same title).
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), 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, 31 May 2008.
- "Epistemic Updates in Justification Logics." Dynamic Logic Montréal. Université du Québec à Montréal, 20 June 2007.
- "Propositional Games with Explicit Strategies." 13th Workshop on Games, Logic, Language, and Computation (GLLC 14). Universiteit van Amsterdam, 3 October 2006.
Organizational Activity
- Editor, PHIBOOK: The Yearbook of Philosophical Logic.
- Co-chair, Logic and Computation, 12th ESSLLI Student Session. Dublin, Ireland, 6–17 August 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.