Follow
Bryan Renne
Bryan Renne
Verified email at renne.org - Homepage
Title
Cited by
Cited by
Year
Dynamic epistemic logic
A Baltag, B Renne
1502016
Arrow update logic
B Kooi, B Renne
The Review of Symbolic Logic 4 (4), 536-559, 2011
862011
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
742014
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
502012
Generalized arrow update logic
B Kooi, B Renne
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
442011
Dynamic epistemic logic with justification
B Renne
City University of New York, 2008
442008
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
392020
Dynamic epistemic temporal logic
B Renne, J Sack, A Yap
Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009
372009
Multi-agent justification logic: Communication and evidence elimination
B Renne
Synthese 185 (Suppl 1), 43-82, 2012
362012
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
292010
The logic of qualitative probability
J Delgrande, B Renne
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
26*2015
Evidence elimination in multi-agent justification logic
B Renne
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
262009
Public communication in justification logic
B Renne
Journal of Logic and Computation 21 (6), 1005-1034, 2011
212011
Tableaux for the logic of proofs
B Renne
CUNY PhD Program in Computer Science, Technical Report TR-2004001, New York …, 2004
182004
Logics of temporal-epistemic actions
B Renne, J Sack, A Yap
Synthese 193, 813-849, 2016
152016
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
142018
Semantic cut-elimination for two explicit modal logics
B Renne
Proceedings of the Eleventh ESSLLI Student Session, 18th European Summer …, 2006
132006
Propositional games with explicit strategies
B Renne
Information and Computation 207 (10), 1015-1043, 2009
112009
Public and private communication are different: Results on relative expressivity
B Renne
Synthese 165, 225-245, 2008
112008
Belief as willingness to bet
J van Eijck, B Renne
arXiv preprint arXiv:1412.5090, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20