| Dynamic epistemic logic A Baltag, B Renne | 133 | 2016 |
| Arrow update logic B Kooi, B Renne The Review of Symbolic Logic 4 (4), 536-559, 2011 | 78 | 2011 |
| 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 | 70 | 2014 |
| The logic of justified belief change, soft evidence and defeasible knowledge A Baltag, B Renne, S Smets Logic, Language, Information and Computation: 19th International Workshop …, 2012 | 50 | 2012 |
| Dynamic epistemic logic with justification B Renne City University of New York, 2008 | 40 | 2008 |
| Generalized arrow update logic B Kooi, B Renne Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 38 | 2011 |
| Dynamic epistemic temporal logic B Renne, J Sack, A Yap Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009 | 38 | 2009 |
| Multi-agent justification logic: Communication and evidence elimination B Renne Synthese 185 (Suppl 1), 43-82, 2012 | 34 | 2012 |
| Cerebellar mutism after posterior fossa tumor resection in children: a multicenter international retrospective study to determine possible modifiable factors B Renne, J Radic, D Agrawal, B Albrecht, CM Bonfield, G Cohrs, T Davis, ... Child's Nervous System 36, 1159-1169, 2020 | 28 | 2020 |
| 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 | 27 | 2010 |
| Evidence elimination in multi-agent justification logic B Renne Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009 | 23 | 2009 |
| Public communication in justification logic B Renne Journal of Logic and Computation 21 (6), 1005-1034, 2011 | 21 | 2011 |
| The logic of qualitative probability J Delgrande, B Renne Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 20* | 2015 |
| Tableaux for the logic of proofs B Renne CUNY PhD Program in Computer Science, Technical Report TR-2004001, New York …, 2004 | 17 | 2004 |
| Logics of temporal-epistemic actions B Renne, J Sack, A Yap Synthese 193, 813-849, 2016 | 14 | 2016 |
| Semantic cut-elimination for two explicit modal logics B Renne Proceedings of the Eleventh ESSLLI Student Session, 18th European Summer …, 2006 | 13 | 2006 |
| Bobble-head doll syndrome: report of 2 cases and a review of the literature, with video documentation of the clinical phenomenon B Renne, S Rueckriegel, S Ramachandran, J Radic, P Steinbok, ... Journal of Neurosurgery: Pediatrics 21 (3), 236-246, 2018 | 10 | 2018 |
| Propositional games with explicit strategies B Renne Information and Computation 207 (10), 1015-1043, 2009 | 10 | 2009 |
| Public and private communication are different: Results on relative expressivity B Renne Synthese 165, 225-245, 2008 | 10 | 2008 |
| Update, Probability, Knowledge and Belief. J Van Eijck, B Renne Advances in Modal Logic 11, 551-570, 2016 | 8 | 2016 |
Sonja SmetsILLC, University of AmsterdamVerified email at uva.nl
