@incollection{DelRen16:Festschrift,
  Author = {Delgrande, James P. and Renne, Bryan},
  Title = {On a Minimal Logic of Default Conditionals},
  Booktitle = {Computational Models of Rationality: Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthda},
  Publisher = {College Publications},
  Year = {2016},
  Editor = {Beierle, Christoph and Brewka, Gerhard and Thimm, Matthias},
  Pages = {73--83},
  Date-Added = {2016-09-10 19:15:50 +0000},
  Date-Modified = {2016-09-10 19:19:31 +0000},
}

@inproceedings{vEijRen16:AiML,
  Author = {van Eijck, Jan and Renne, Bryan},
  Title = {Update, Probability, Knowledge and Belief},
  Booktitle = {Advances in Modal Logic ({AiML})},
  Year = {2016},
  Editor = {Beklemishev, Lev and Demri, Stéphane},
  Volume = {11},
  Publisher = {College Publications},
  Address = {Budapest, Hungary},
  Date-Added = {2016-09-10 19:02:47 +0000},
  Date-Modified = {2016-09-10 19:07:04 +0000},
}

@inproceedings{BalRen16:SEP,
  Author = {Baltag, Alexandru and Renne, Bryan},
  Title = {Dynamic Epistemic Logic},
  Booktitle = {The {S}tanford {E}ncyclopedia of {P}hilosophy},
  Year = {2016},
  Editor = {Edward N. Zalta},
  Date-Added = {2015-04-24 17:34:57 +0000},
  Date-Modified = {2016-06-25 14:02:31 +0000},
  Url = {http://plato.stanford.edu/entries/dynamic-epistemic/},
}

@article{RenSacYap15:Synt,
  Author = {Renne, Bryan and Sack, Joshua and Yap, Audrey},
  Title = {Logics of Temporal-Epistemic Actions},
  Journal = {Synthese},
  Year = {2016},
  Volume = {193},
  Number = {3},
  Pages = {813--849},
  Doi = {10.1007/s11229-015-0773-6},
  Date-Added = {2015-04-24 17:25:48 +0000},
  Date-Modified = {2016-03-26 05:58:27 +0000},
}

@inproceedings{DelRen15:IJCAI,
  Author = {Delgrande, James P. and Renne, Bryan},
  Title = {The Logic of Qualitative Probability},
  Booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence ({IJCAI})},
  Year = {2015},
  Editor = {Yang, Q. and Wooldridge, M.},
  Pages = {2904--2910},
  Publisher = {{AAAI} Press},
  Pdf = {http://ijcai.org/papers15/Papers/IJCAI15-411.pdf},
  Date-Added = {2015-04-23 22:37:39 +0000},
  Date-Modified = {2015-07-16 19:12:22 +0000},
}

@techreport{BalRenSme15:arXiv,
  Author = {Baltag, Alexandru and Renne, Bryan and Smets, Sonja},
  Title = {Revisable Justified Belief: Preliminary Report},
  Institution = {arXiv.org},
  Year = 2015,
  Type = {E-print},
  Month = {March},
  Pdf = {http://arxiv.org/pdf/1503.08141.pdf},
  Date-Added = {2015-03-25 18:47:26 +0000},
  Date-Modified = {2015-03-30 00:23:21 +0000},
  Note = {arXiv:1503.08141 [cs.LO]},
  Url = {http://arxiv.org/abs/1503.08141},
}

@techreport{vEijRen14:arXiv,
  Author = {van Eijck, Jan and Renne, Bryan},
  Title = {Belief as Willingness to Bet},
  Institution = {arXiv.org},
  Year = 2014,
  Type = {E-print},
  Month = {December},
  Pdf = {http://arxiv.org/pdf/1412.5090.pdf},
  Date-Added = {2014-12-17 00:18:47 +0000},
  Date-Modified = {2014-12-17 22:52:05 +0000},
  Note = {arXiv:1412.5090 [cs.LO]},
  Url = {http://arxiv.org/abs/1412.5090},
}

@techreport{EgrMarRen15:arXiv,
  Author = {Egré, Paul and Marty, Paul and Renne, Bryan},
  Title = {Knowledge, Justification, and Reason-Based Belief},
  Institution = {arXiv.org},
  Year = 2015,
  Type = {E-print},
  Month = {May},
  Pdf = {http://arxiv.org/pdf/1412.1862.pdf},
  Date-Added = {2014-12-04 23:25:07 +0000},
  Date-Modified = {2015-05-20 13:51:09 +0000},
  Note = {arXiv:1412.1862 [cs.LO]},
  Url = {http://arxiv.org/abs/1412.1862},
}

@techreport{RenSacYap14:arXiv,
  Author = {Renne, Bryan and Sack, Joshua and Yap, Audrey},
  Title = {Logics of Temporal-Epistemic Actions},
  Institution = {arXiv.org},
  Year = 2014,
  Type = {E-print},
  Number = {1411.6279},
  Month = {November},
  Pdf = {http://arxiv.org/pdf/1411.6279.pdf},
  Date-Added = {2014-11-23 18:36:13 +0000},
  Date-Modified = {2014-12-17 22:52:15 +0000},
  Note = {arXiv:1411.6279 [cs.LO]},
  Url = {http://arxiv.org/abs/1411.6279},
}

@inproceedings{Ren13:SiL,
  Author = {Renne, Bryan},
  Title = {Comments on the Logic of Justification},
  Booktitle = {Logic Across the University: Foundations and Applications---Proceedings of the Tsinghua Logic Conference, Beijing, 14--16 October 2013},
  Year = {2013},
  Editor = {van Benthem, J. and Liu, F.},
  Volume = {47},
  Pages = {13--14},
  Series = {Studies in Logic},
  Publisher = {College Publications},
  Address = {London},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-ArtemovRSL-comments.pdf},
  Date-Added = {2013-07-12 19:52:10 +0000},
  Date-Modified = {2013-11-05 17:35:45 +0000},
}

@article{BalRenSme14:APAL,
  Author = {Baltag, Alexandru and Renne, Bryan and Smets, Sonja},
  Title = {The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence},
  Journal = {Annals of Pure and Applied Logic},
  Year = {2014},
  Volume = {165},
  Number = {1},
  Pages = {49--81},
  Doi = {10.1016/j.apal.2013.07.005},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/brs-ConclusiveEvidence.pdf},
  Date-Added = {2013-01-21 20:31:43 +0000},
  Date-Modified = {2013-11-05 17:34:50 +0000},
}

@inproceedings{BalRenSme12:LNCS,
  Author = {Baltag, Alexandru and Renne, Bryan and Smets, Sonja},
  Title = {The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge},
  Booktitle = {Logic, Language, Information and Computation: 19th International Workshop, {WoLLIC~2012}, Buenos Aires, Argentina, September 3--6, 2012. Proceedings},
  Year = {2012},
  Editor = {Ong, L. and de Queiroz, R.},
  Volume = {7456},
  Pages = {168--190},
  Series = {Lecture Notes in Computer Science},
  Publisher = {Springer-Verlag Berlin Heidelberg},
  Address = {Buenos Aires, Argentina},
  Doi = {10.1007/978-3-642-32621-9_13},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/brs-jbc-wollic2012.pdf},
  Date-Added = {2012-05-08 17:06:38 +0000},
  Date-Modified = {2013-11-05 17:34:40 +0000},
}

@inproceedings{KooRen11:TARK,
  Author = {Kooi, Barteld and Renne, Bryan},
  Title = {Generalized Arrow Update Logic},
  Booktitle = {Proceedings of the 13th Conference of Theoretical Aspects of Rationality and Knowledge ({TARK~XIII})},
  Year = {2011},
  Editor = {Apt, Krzysztof R.},
  Pages = {205--211},
  Publisher = {ACM},
  Address = {Groningen, The Netherlands},
  Doi = {10.1145/2000378.2000403},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/rk-gaul-tark.pdf},
  Date-Added = {2011-04-27 10:47:46 -0700},
  Date-Modified = {2013-11-05 17:35:15 +0000},
}

@article{KooRen11:RSL,
  Author = {Kooi, Barteld and Renne, Bryan},
  Title = {Arrow Update Logic},
  Journal = {Review of Symbolic Logic},
  Year = {2011},
  Volume = {4},
  Number = {4},
  Pages = {536--559},
  Doi = {10.1017/S1755020311000189},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/rk-aul-RSL.pdf},
  Date-Added = {2010-11-09 17:08:57 +0100},
  Date-Modified = {2013-11-05 17:35:09 +0000},
}

@inproceedings{BucKuzSac10:ILCLI,
  Author = {Bucheli, Samuel and Kuznets, Roman and Sack, Joshua and Studer, Thomas},
  Title = {Justified Belief Change},
  Booktitle = {Proceedings of the Second {ILCLI} International Workshop on Logic and Philosophy of Knowledge, Communication and Action ({LogKCA-10})},
  Year = {2010},
  Editor = {Arrazola, X. and Ponte, M.},
  Publisher = {The University of the Basque Country Press},
  Date-Added = {2010-09-22 14:37:47 +0200},
  Date-Modified = {2013-11-05 17:35:02 +0000},
}

@article{Ren11:JLC,
  Author = {Renne, Bryan},
  Title = {Public Communication in Justification Logic},
  Journal = {Journal of Logic and Computation},
  Year = 2011,
  Volume = {21},
  Number = {6},
  Pages = {1005--1034},
  Doi = {10.1093/logcom/exq026},
  Date-Added = {2009-11-24 15:28:21 -0800},
  Date-Modified = {2013-11-05 17:37:03 +0000},
}

@incollection{RenSacYap09:LORI,
  Author = {Renne, Bryan and Sack, Joshua and Yap, Audrey},
  Title = {Dynamic Epistemic Temporal Logic},
  Booktitle = {Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8--11, 2009, Proceedings ({LORI-II})},
  Publisher = {Springer-Verlag Berlin Heidelberg},
  Year = {2009},
  Editor = {He, X. and Horty, J. and Pacuit, E.},
  Volume = {5834},
  Series = {Lecture Notes in Computer Science},
  Pages = {263--277},
  Doi = {10.1007/978-3-642-04893-7_21},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/rsy-detl.pdf},
  Date-Added = {2009-06-11 18:16:57 +0200},
  Date-Modified = {2013-11-05 17:36:00 +0000},
}

@article{Ren09:IC,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Journal = {Information and Computation},
  Year = {2009},
  Volume = {207},
  Number = {10},
  Pages = {1015--1043},
  Doi = {10.1016/j.ic.2008.11.005},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-lpgames.pdf},
  Date-Added = {2009-04-16 16:34:13 +0200},
  Date-Modified = {2013-11-05 17:36:26 +0000},
}

@inproceedings{Ren09:TARK,
  Author = {Renne, Bryan},
  Title = {Evidence Elimination in Multi-Agent Justification Logic},
  Booktitle = {Proceedings of the 12th Conference of Theoretical Aspects of Rationality and Knowledge ({TARK~XII})},
  Year = {2009},
  Editor = {Heifetz, A.},
  Pages = {227--236},
  Publisher = {ACM},
  Address = {Stanford, California, USA},
  Doi = {10.1145/1562814.1562845},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-elimination-tark09.pdf},
  Date-Added = {2009-04-16 16:33:33 +0200},
  Date-Modified = {2013-11-05 17:36:18 +0000},
}

@article{Ren12:Synt,
  Author = {Renne, Bryan},
  Title = {Multi-Agent Justification Logic: Communication and Evidence Elimination},
  Journal = {Synthese},
  Year = {2012},
  Volume = {185},
  Number = {S1},
  Pages = {43--82},
  Doi = {10.1007/s11229-011-9968-7},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-elimination.pdf},
  Date-Added = {2009-04-16 16:33:27 +0200},
  Date-Modified = {2013-11-05 17:36:23 +0000},
}

@incollection{Ren11:DFE,
  Author = {Renne, Bryan},
  Title = {Simple Evidence Elimination in Justification Logic},
  Booktitle = {Dynamic Formal Epistemology},
  Publisher = {Springer},
  Year = {2011},
  Editor = {Girard, P. and Roy, O. and Marion, M.},
  Volume = {351},
  Series = {Synthese Library},
  Chapter = {7},
  Pages = {127--149},
  Doi = {10.1007/978-94-007-0074-1_7},
  Date-Added = {2009-01-05 11:04:53 -0800},
  Date-Modified = {2013-11-05 17:37:37 +0000},
}

@article{Ren08:Synt,
  Author = {Renne, Bryan},
  Title = {Public and Private Communication are Different: Results on Relative Expressivity},
  Journal = {Synthese},
  Year = 2008,
  Volume = 165,
  Number = 2,
  Pages = {225--245},
  Doi = {10.1007/s11229-008-9395-6},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-bmsPublicPrivate.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:36:48 +0000},
}

@phdthesis{Ren08:PhD,
  Author = {Renne, Bryan},
  Title = {Dynamic Epistemic Logic with Justification},
  School = {The City University of New York},
  Year = 2008,
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-dissertation.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:35:54 +0000},
}

@unpublished{Ren08:Manu,
  Author = {Renne, Bryan},
  Note = {Manuscript},
  Title = {A Survey of Dynamic Epistemic Logic},
  Month = {July},
  Year = 2008,
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-del-survey.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:35:22 +0000},
}

@techreport{Ren08:TR,
  Author = {Renne, Bryan},
  Title = {Public and Private Communication are Different: Results on Relative Expressivity},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2008,
  Number = {TR-2008001},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2008001.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:36:55 +0000},
}

@techreport{Ren07:TRb,
  Author = {Renne, Bryan},
  Title = {Public Communication in Justification Logic},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2007,
  Number = {TR-2005025},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2007025.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:37:16 +0000},
}

@techreport{Ren07:TRa,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2007,
  Number = {TR-2005012},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2005012.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:37:16 +0000},
}

@inproceedings{Ren07:LORI,
  Author = {Renne, Bryan},
  Title = {The Relative Expressivity of Public and Private Communication in {BMS} Logic},
  Booktitle = {A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 ({LORI-I})},
  Year = 2007,
  Editor = {van Benthem, J. and Ju, S. and Veltman, F.},
  Volume = 8,
  Pages = {213--229},
  Series = {Texts in Computer Science},
  Publisher = {College Publications},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-bmsPublicPrivate-vLORI.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2014-10-14 19:20:52 +0000},
}

@techreport{Ren07:TR,
  Author = {Renne, Bryan},
  Title = {The Relative Expressivity of Public and Private Communication in {BMS} Logic},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2007,
  Number = {TR-2007012},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2007012.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:37:56 +0000},
}

@inproceedings{Ren06:WRK,
  Author = {Renne, Bryan},
  Title = {Bisimulation and Public Announcements in Logics of Explicit Knowledge},
  Booktitle = {Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language and Information ({ESSLLI}~2006)},
  Year = 2006,
  Editor = {Artemov, S. and Parikh, R.},
  Pages = {112--123},
  Address = {Málaga, Spain},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-bisimulation.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:35:34 +0000},
}

@inproceedings{Ren06:StuS,
  Author = {Renne, Bryan},
  Title = {Semantic Cut-Elimination for Two Explicit Modal Logics},
  Booktitle = {Proceedings of the 11th {ESSLLI} Student Session},
  Year = 2006,
  Editor = {Huitnink, J. and Katrenko, S.},
  Pages = {148--158},
  Address = {Málaga, Spain},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-tableaux.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:37:33 +0000},
}

@inproceedings{Ren06:WoLLIC,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information, and Computation ({WoLLIC~2006})},
  Year = 2006,
  Editor = {Mints, G. and de Queiroz, R.},
  Address = {Stanford, CA, USA},
  Doi = {10.1016/j.entcs.2006.05.042},
  Pdf = {https://dl.dropboxusercontent.com/u/1461142/docs/renne-lpgames.pdf},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:36:44 +0000},
}

@techreport{Ren04:TR,
  Author = {Renne, Bryan},
  Title = {Tableaux for the {Logic of Proofs}},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2004,
  Number = {TR-2004001},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2004001.pdf},
  Ps = {http://tr.cs.gc.cuny.edu/tr/files/TR-2004001.ps},
  Date-Added = {2008-12-18 14:17:35 -0800},
  Date-Modified = {2013-11-05 17:37:43 +0000},
}