Bryan Renne
Bryan Renne
Verified email at renne.org - Homepage
Title
Cited by
Cited by
Year
Arrow update logic
B Kooi, B Renne
The Review of Symbolic Logic 4 (4), 536-559, 2011
602011
Dynamic epistemic logic
A Baltag, B Renne
582016
The logic of justified belief, explicit knowledge, and conclusive evidence
A Baltag, B Renne, S Smets
Annals of Pure and Applied Logic 165 (1), 49-81, 2014
472014
Dynamic epistemic logic with justification
B Renne
City University of New York, 2008
352008
The logic of justified belief change, soft evidence and defeasible knowledge
A Baltag, B Renne, S Smets
International Workshop on Logic, Language, Information, and Computation, 168-190, 2012
342012
Dynamic epistemic temporal logic
B Renne, J Sack, A Yap
International Workshop on Logic, Rationality and Interaction, 263-277, 2009
312009
Generalized arrow update logic
B Kooi, B Renne
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
302011
Multi-agent justification logic: Communication and evidence elimination
B Renne
Synthese 185 (1), 43-82, 2012
262012
Justified belief change
S Bucheli, R Kuznets, B Renne, J Sack, T Studer
LogKCA-10, Proceedings of the Second ILCLI International Workshop on Logic …, 2010
262010
Evidence elimination in multi-agent justification logic
B Renne
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
232009
Public communication in justification logic
B Renne
Journal of Logic and Computation 21 (6), 1005-1034, 2011
202011
Tableaux for the logic of proofs
B Renne
CUNY PhD Program in Computer Science, Technical Report TR-2004001, New York …, 2004
162004
Semantic cut-elimination for two explicit modal logics
B Renne
Proceedings of the Eleventh ESSLLI Student Session, 18th European Summer …, 2006
132006
The logic of qualitative probability
J Delgrande, B Renne
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
12*2015
Logics of temporal-epistemic actions
B Renne, J Sack, A Yap
Synthese 193 (3), 813-849, 2016
92016
Propositional games with explicit strategies
B Renne
Information and Computation 207 (10), 1015-1043, 2009
92009
Public and private communication are different: Results on relative expressivity
B Renne
Synthese 165 (2), 225-245, 2008
92008
Belief as willingness to bet
J van Eijck, B Renne
arXiv preprint arXiv:1412.5090, 2014
72014
The relative expressivity of public and private communication in BMS logic
B Renne
A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality …, 2007
62007
Bisimulation and public announcements in logics of explicit knowledge
B Renne
Proceedings of the Rationality and Knowledge Workshop, 2006
62006
The system can't perform the operation now. Try again later.
Articles 1–20