1.  78
    The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.
    We present a complete, decidable logic for reasoning about a notion of completely trustworthy evidence and its relations to justifiable belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and “goodness” of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemovʼs Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and awareness (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   10 citations  
  2.  40
    Arrow Update Logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
    We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing of Arrow Update Logic can be transformed into equivalent belief-changing from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logicrelativized” common knowledge familiar from the Dynamic Epistemic Logic literature.
    Direct download (8 more)  
    Export citation  
    Bookmark   11 citations  
  3.  10
    Knowledge, Justification, and Adequate Reasons.Paul Égré, Paul Marty & Bryan Renne - forthcoming - Review of Symbolic Logic:1-42.
  4.  37
    Logics of Temporal-Epistemic Actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.
    We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic. Our “temporal action models” may be used to define a number of informational actions that can modify the “objective” temporal structure of a model along with the agents’ basic and higher-order knowledge and beliefs about this structure, including their beliefs about the time. In essence, (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   4 citations  
  5.  71
    Multi-Agent Justification Logic: Communication and Evidence Elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
    This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
    Direct download (5 more)  
    Export citation  
    Bookmark   5 citations  
  6.  10
    Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown
    Barteld Kooi and Bryan Renne (2011). Generalized Arrow Update Logic. In K.R. Apt (editor). Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK 2011), pp. 205-211.
    Direct download  
    Export citation  
    Bookmark   7 citations  
  7.  66
    Public and Private Communication Are Different: Results on Relative Expressivity.Bryan Renne - 2008 - Synthese 165 (2):225-245.
    Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable for the class of all pointed Kripke models, which provides a formal proof that public and private communication are fundamentally different in the (...)
    No categories
    Direct download (6 more)  
    Export citation  
    Bookmark   2 citations  
  8.  6
    Update, Probability, Knowledge and Belief.Jan van Eijck & Bryan Renne - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 551-570.
    No categories
    Direct download  
    Export citation