Volgen
Bryan Renne
Bryan Renne
Geverifieerd e-mailadres voor renne.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Dynamic epistemic logic
A Baltag, B Renne
1242016
Arrow update logic
B Kooi, B Renne
The Review of Symbolic Logic 4 (4), 536-559, 2011
782011
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
712014
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
522012
Dynamic epistemic logic with justification
B Renne
City University of New York, 2008
412008
Dynamic epistemic temporal logic
B Renne, J Sack, A Yap
International Workshop on Logic, Rationality and Interaction, 263-277, 2009
382009
Generalized arrow update logic
B Kooi, B Renne
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
372011
Multi-agent justification logic: Communication and evidence elimination
B Renne
Synthese 185 (1), 43-82, 2012
352012
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
282010
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
262020
Evidence elimination in multi-agent justification logic
B Renne
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
242009
Public communication in justification logic
B Renne
Journal of Logic and Computation 21 (6), 1005-1034, 2011
212011
The logic of qualitative probability
J Delgrande, B Renne
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
19*2015
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 (3), 813-849, 2016
132016
Semantic cut-elimination for two explicit modal logics
B Renne
Proceedings of the Eleventh ESSLLI Student Session, 18th European Summer …, 2006
132006
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
102018
Propositional games with explicit strategies
B Renne
Information and Computation 207 (10), 1015-1043, 2009
102009
Public and private communication are different: Results on relative expressivity
B Renne
Synthese 165 (2), 225-245, 2008
102008
Update, Probability, Knowledge and Belief.
J Van Eijck, B Renne
Advances in Modal Logic 11, 551-570, 2016
92016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20