@phdthesis{renne08:thesis,
	Author = {Bryan Renne},
	School = {The City University of New York},
	Title = {Dynamic Epistemic Logic with Justification},
	Year = 2008}

@unpublished{renne08:del-survey,
	Author = {Bryan Renne},
	Month = {July},
	Note = {Manuscript},
	Title = {A Survey of Dynamic Epistemic Logic},
	Year = 2008}

@techreport{renne08:pubpri,
	Author = {Bryan Renne},
	Institution = {CUNY Ph.D.~Program in Computer Science},
	Number = {TR-2008001},
	Title = {Public and Private Communication are Different: Results on Relative Expressivity},
	Year = 2008}

@techreport{renne07:pubcomm,
	Author = {Bryan Renne},
	Institution = {CUNY Ph.D.~Program in Computer Science},
	Number = {TR-2005025},
	Title = {Public Communication in Justification Logic},
	Year = 2007}

@techreport{renne07:lpgames,
	Author = {Bryan Renne},
	Institution = {CUNY Ph.D.~Program in Computer Science},
	Number = {TR-2005012},
	Title = {Propositional Games with Explicit Strategies},
	Year = 2007}

@inproceedings{renne07:bms,
	Author = {Bryan Renne},
	Booktitle = {A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality, and Interaction, Beijing, 2007},
	Editor = {Johan van Benthem and Shier Ju and Frank Veltman},
	Pages = {213-229},
	Publisher = {College Publications},
	Series = {Texts in Computer Science},
	Title = {The Relative Expressivity of Public and Private Communication in {BMS} Logic},
	Volume = 8,
	Year = 2007}

@techreport{renne07:bms:tr,
	Author = {Bryan Renne},
	Institution = {CUNY Ph.D.~Program in Computer Science},
	Number = {TR-2007012},
	Title = {The Relative Expressivity of Public and Private Communication in {BMS} Logic},
	Year = 2007}

@inproceedings{renne06:bisimulation,
	Address = {M\'alaga, Spain},
	Author = {Bryan Renne},
	Booktitle = {Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language, and Information (ESSLLI)},
	Editor = {Sergei Artemov and Rohit Parikh},
	Pages = {112-123},
	Title = {Bisimulation and Public Announcements in Logics of Explicit Knowledge},
	Year = 2006}

@inproceedings{renne06:tableaux,
	Address = {M\'alaga, Spain},
	Author = {Bryan Renne},
	Booktitle = {Proceedings of the 11th ESSLLI Student Session},
	Editor = {Janneke Huitnink and Sophia Katrenko},
	Pages = {148-158},
	Title = {Semantic Cut-Elimination for Two Explicit Modal Logics},
	Year = 2006}

@inproceedings{renne06:games,
	Address = {Stanford, CA, USA},
	Author = {Bryan Renne},
	Booktitle = {Proceedings of the 13th Workshop on Logic, Language, and Computation ({WoLLIC})},
	Editor = {Grigori Mints and Ruy de Queiroz},
	Title = {Propositional Games and Explicit Strategies},
	Year = 2006} 

@techreport{renne04:tableaux,
	Author = {Bryan Renne},
	Institution = {CUNY Ph.D.~Program in Computer Science},
	Number = {TR-2004001},
	Title = {Tableaux for the {Logic of Proofs}},
	Year = 2004}