Bryan Renne

发表

Generalized arrow update logic

Barteld P. Kooi, Bryan Renne, Barteld P. Kooi, 2011, TARK XIII.

Logics of temporal-epistemic actions

Joshua Sack, Audrey Yap, Bryan Renne, 2015, Synthese.

Revisable Justified Belief: Preliminary Report pdf

Alexandru Baltag, Sonja Smets, Bryan Renne, 2015, ArXiv.

Knowledge, Justification, and Reason-Based Belief pdf

Paul Égré, Bryan Renne, Paul Marty, 2014, ArXiv.

Simple Evidence Elimination in Justification Logic

Bryan Renne, 2011 .

On a Minimal Logic of Default Conditionals

James P. Delgrande, Bryan Renne, 2016, Computational Models of Rationality.

ARROW UPDATE LOGIC

Barteld Kooi, Bryan Renne, Barteld P. Kooi, 2011, The Review of Symbolic Logic.

Update, Probability, Knowledge and Belief

Jan van Eijck, Bryan Renne, J. Eijck, 2016, Advances in Modal Logic.

Propositional Games with Explicit Strategies

Bryan Renne, 2006, Electron. Notes Theor. Comput. Sci..

Propositional Games with Explicit Strategies

Bryan Renne, B. Renne, 2006, WoLLIC.

Dynamic Epistemic Temporal Logic

Joshua Sack, Audrey Yap, Bryan Renne, 2009, LORI.

Belief as Willingness to Bet pdf

Jan van Eijck, Bryan Renne, J. Eijck, 2014, ArXiv.

Multi-agent Justification Logic: communication and evidence elimination

Bryan Renne, 2011, Synthese.

Public and private communication are different: results on relative expressivity

Bryan Renne, B. Renne, 2008, Synthese.

TR-2004001: Tableaux for the Logic of Proofs

Bryan Renne, 2004 .

The Logic of Qualitative Probability

James P. Delgrande, Bryan Renne, J. Delgrande, 2015, IJCAI.

TR-2007025: Public Communication in Justification Logic

Bryan Renne, B. Renne, 2007 .

TR-2005012: Propositional Games with Explicit Strategies

Bryan Renne, 2005 .

The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge

Alexandru Baltag, Sonja Smets, Bryan Renne, 2012, WoLLIC.

Evidence elimination in multi-agent justification logic

Bryan Renne, B. Renne, 2009, TARK '09.

The logic of justified belief, explicit knowledge, and conclusive evidence

Alexandru Baltag, Sonja Smets, Bryan Renne, 2014, Ann. Pure Appl. Log..

Public communication in justification logic

Bryan Renne, B. Renne, 2011, J. Log. Comput..

Justified belief change

Joshua Sack, Thomas Studer, Roman Kuznets, 2010 .

Dynamic epistemic logic with justification

Sergei N. Artëmov, Bryan Renne, B. Renne, 2008 .

Bisimulation and public announcements in logics of evidence-based knowledge

Bryan Renne, B. Renne, 2006 .

Dynamic Epistemic Logic

Alexandru Baltag, Bryan Renne, 2016 .