Bryan Renne
Postdoctoral Researcher
Faculty of Philosophy
University of Groningen
Oude Boteringestraat 52
9712 GL Groningen
The Netherlands
Research
Formal Epistemology, Evidence-based Belief Revision, Multi-agent Systems, Dynamic Epistemic Logic, Justification Logic, Epistemic Logic, Modal Logic
Working Papers
- Simple Evidence Elimination in Justification Logic. In P. Girard, O. Roy, and M. Marion, editors, Dynamic Formal Epistemology. Volume 351 of Synthese Library. Springer, 2011.
- Multi-Agent Justification Logic: Communication and Evidence Elimination. Manuscript, August 2010.
- (with Joshua Sack, Audrey Yap) Dynamic Epistemic Temporal Logic. Extended Manuscript, July 2009.
- A Survey of Dynamic Epistemic Logic. Manuscript, July 2008.
Published Papers
-
Public Communication in Justification Logic.
Journal of Logic and Computation,
2010.
[ BibTeX ]
- (with 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.
- 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. ACM.
- Propositional Games with Explicit Strategies. Information and Computation, 207(10):1015–1043, 2009.
- Public and Private Communication are Different: Results on Relative Expressivity. Synthese, 165(2):225–245, 2008.
- 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, 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), 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),
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
- "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 2009.
- "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.
Organizational Activity
- Editor, PHIBOOK: The Yearbook of Philosophical Logic. (Defunct)
- 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/availability schedule.
- My friend Mike Nicolls' page.