Bryan Renne
Bryan Renne
Verified email at renne.org - Homepage
Title
Cited by
Cited by
Year
Dynamic epistemic logic
A Baltag, B Renne
692016
Arrow update logic.
B Kooi, B Renne
Rev. Symb. Log. 4 (4), 536-559, 2011
622011
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
522014
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
382012
Dynamic epistemic logic with justification
B Renne
City University of New York, 2008
372008
Generalized arrow update logic
B Kooi, B Renne
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
332011
Dynamic epistemic temporal logic
B Renne, J Sack, A Yap
International Workshop on Logic, Rationality and Interaction, 263-277, 2009
332009
Multi-agent justification logic: Communication and evidence elimination
B Renne
Synthese 185 (1), 43-82, 2012
292012
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
272010
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
182004
The logic of qualitative probability
J Delgrande, B Renne
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
14*2015
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
92009
Public and private communication are different: Results on relative expressivity
B Renne
Synthese 165 (2), 225-245, 2008
92008
Logics of temporal-epistemic actions
B Renne, J Sack, A Yap
Synthese 193 (3), 813-849, 2016
82016
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 (6), 1159-1169, 2020
72020
Belief as willingness to bet
J van Eijck, B Renne
arXiv preprint arXiv:1412.5090, 2014
72014
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
62018
The system can't perform the operation now. Try again later.
Articles 1–20