Bryan Renne

According to our database, Bryan Renne authored at least 20 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Knowledge, Justification, and Adequate Reasons - erratum.

Paul Égré, Paul Marty, Bryan Renne

Rev. Symb. Log., 2021

Knowledge, Justification, and Adequate Reasons.

Paul Égré, Paul Marty, Bryan Renne

Rev. Symb. Log., 2021

2019

The logic of qualitative probability.

James P. Delgrande, Bryan Renne, Joshua Sack

Artif. Intell., 2019

2016

Logics of temporal-epistemic actions.

Bryan Renne, Joshua Sack, Audrey Yap

Synth., 2016

On a Minimal Logic of Default Conditionals.

James P. Delgrande, Bryan Renne

Proceedings of the Computational Models of Rationality, 2016

Update, Probability, Knowledge and Belief.

Jan van Eijck, Bryan Renne

Proceedings of the Advances in Modal Logic 11, 2016

2015

Revisable Justified Belief: Preliminary Report.

Alexandru Baltag, Bryan Renne, Sonja Smets

CoRR, 2015

The Logic of Qualitative Probability.

James P. Delgrande, Bryan Renne

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Belief as Willingness to Bet.

Jan van Eijck, Bryan Renne

CoRR, 2014

Knowledge, Justification, and Reason-Based Belief.

Paul Égré, Paul Marty, Bryan Renne

CoRR, 2014

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

Alexandru Baltag, Bryan Renne, Sonja Smets

Ann. Pure Appl. Log., 2014

2012

Multi-agent Justification Logic: communication and evidence elimination.

Bryan Renne

Synth., 2012

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

Alexandru Baltag, Bryan Renne, Sonja Smets

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Arrow Update Logic.

Barteld Kooi, Bryan Renne

Rev. Symb. Log., 2011

Public communication in justification logic.

Bryan Renne

J. Log. Comput., 2011

Generalized arrow update logic.

Barteld P. Kooi, Bryan Renne

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2009

Evidence elimination in multi-agent justification logic.

Bryan Renne

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Dynamic Epistemic Temporal Logic.

Bryan Renne, Joshua Sack, Audrey Yap

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Public and private communication are different: results on relative expressivity.

Bryan Renne

Synth., 2008

2006

Propositional Games with Explicit Strategies.

Bryan Renne

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006