Bryan Renne :: BibTeX Bibliography


@unpublished{renne:09:pubcomm,
  Author = {Renne, Bryan},
  Note = {Manuscript},
  Title = {Public Communication in Justification Logic},
  Year = 2009,
  Pdf = {http://bryan.renne.org/docs/renne-jl-public-communication.pdf},
}


@incollection{renne-etal:09:detl-lori09,
  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},
  Publisher = {Springer Berlin/Heidelberg},
  Year = {2009},
  Editor = {He, X. and Horty, J. and Pacuit, E.},
  Volume = {5834/2009},
  Series = {Lecture Notes in Computer Science},
  Pages = {263-277},
  Url = {http://dx.doi.org/10.1007/978-3-642-04893-7_21},
  Doi = {10.1007/978-3-642-04893-7_21},
  Pdf = {http://bryan.renne.org/docs/rsy-detl.pdf},
}


@unpublished{renne-etal:09:detl,
  Author = {Renne, Bryan and Sack, Joshua and Yap, Audrey},
  Note = {Extended Manuscript},
  Title = {Dynamic Epistemic Temporal Logic},
  Month = {July},
  Year = {2009},
  Pdf = {http://bryan.renne.org/docs/rsy-detl-extended.pdf},
}


@article{renne:09:lpgames,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Journal = {Information and Computation},
  Year = {2009},
  Volume = {207},
  Number = {10},
  Pages = {1015-1043},
  Url = {http://dx.doi.org/10.1016/j.ic.2008.11.005},
  Doi = {10.1016/j.ic.2008.11.005},
  Pdf = {http://bryan.renne.org/docs/renne-lpgames.pdf},
}


@inproceedings{renne:09:elim-tark09,
  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, Aviad},
  Pages = {227-236},
  Address = {Stanford, California, USA},
  Url = {http://dx.doi.org/10.1145/1562814.1562845},
  Doi = {10.1145/1562814.1562845},
  Pdf = {http://bryan.renne.org/docs/renne-elimination-tark09.pdf},
}


@unpublished{renne:09:elim,
  Author = {Renne, Bryan},
  Note = {Manuscript},
  Title = {Multi-Agent Justification Logic: Communication and Evidence Elimination},
  Month = {March},
  Year = {2009},
  Pdf = {http://bryan.renne.org/docs/renne-elimination.pdf},
}


@unpublished{renne:09:simple-elim,
  Author = {Renne, Bryan},
  Note = {Manuscript},
  Title = {Simple Evidence Elimination in Justification Logic},
  Month = {March},
  Year = {2009},
  Pdf = {http://bryan.renne.org/docs/renne-simple-elimination.pdf},
}


@article{renne:08:pubpri,
  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},
  Url = {http://dx.doi.org/10.1007/s11229-008-9395-6},
  Doi = {10.1007/s11229-008-9395-6},
  Pdf = {http://bryan.renne.org/docs/renne-bmsPublicPrivate.pdf},
}


@phdthesis{renne:08:thesis,
  Author = {Renne, Bryan},
  Title = {Dynamic Epistemic Logic with Justification},
  School = {The City University of New York},
  Year = 2008,
  Pdf = {http://bryan.renne.org/docs/renne-dissertation.pdf},
}


@unpublished{renne:08:survey,
  Author = {Renne, Bryan},
  Note = {Manuscript},
  Title = {A Survey of Dynamic Epistemic Logic},
  Month = {July},
  Year = 2008,
  Pdf = {http://bryan.renne.org/docs/renne-del-survey.pdf},
}


@techreport{renne:08:pubpri-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},
  Url = {http://tr.cs.gc.cuny.edu/tr/techreport.php?id=350},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2008001.pdf},
}


@techreport{renne:07:pubcomm-tr,
  Author = {Renne, Bryan},
  Title = {Public Communication in Justification Logic},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2007,
  Number = {TR-2005025},
  Url = {http://tr.cs.gc.cuny.edu/tr/techreport.php?id=349},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2007025.pdf},
}


@techreport{renne:07:lpgames-tr,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Institution = {CUNY Ph.D.~Program in Computer Science},
  Year = 2007,
  Number = {TR-2005012},
  Url = {http://tr.cs.gc.cuny.edu/tr/techreport.php?id=165},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2005012.pdf},
}


@inproceedings{renne:07:pubpri-lori07,
  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},
  Year = 2007,
  Editor = {van Benthem, Johan and Ju, Shier and Veltman, Frank},
  Volume = 8,
  Pages = {213-229},
  Series = {Texts in Computer Science},
  Publisher = {College Publications},
}


@techreport{renne:07:pubpri-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},
  Url = {http://tr.cs.gc.cuny.edu/tr/techreport.php?id=336},
  Pdf = {http://tr.cs.gc.cuny.edu/tr/files/TR-2007012.pdf},
}


@inproceedings{renne:06:bisimulation,
  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})},
  Year = 2006,
  Editor = {Artemov, Sergei and Parikh, Rohit},
  Pages = {112-123},
  Address = {M\'alaga, Spain},
  Pdf = {http://bryan.renne.org/docs/renne-bisimulation.pdf},
}


@inproceedings{renne:06:cut-elim,
  Author = {Renne, Bryan},
  Title = {Semantic Cut-Elimination for Two Explicit Modal Logics},
  Booktitle = {Proceedings of the 11th {ESSLLI} Student Session},
  Year = 2006,
  Editor = {Huitnink, Janneke and Katrenko, Sophia},
  Pages = {148-158},
  Address = {M\'alaga, Spain},
  Pdf = {http://bryan.renne.org/docs/renne-tableaux.pdf},
}


@inproceedings{renne:06:lpgames-wollic06,
  Author = {Renne, Bryan},
  Title = {Propositional Games with Explicit Strategies},
  Booktitle = {Proceedings of the 13th Workshop on Logic, Language, and Computation ({WoLLIC 2006})},
  Year = 2006,
  Editor = {Mints, Grigori and de Queiroz, Ruy},
  Address = {Stanford, CA, USA},
  Url = {http://dx.doi.org/10.1016/j.entcs.2006.05.042},
  Doi = {10.1016/j.entcs.2006.05.042},
}


@techreport{renne:04:lptableux-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},
}