5 found
Sort by:
  1. Alexandru Baltag, Bryan Renne & Sonja Smets (2014). The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic 165 (1):49-81.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Bryan Renne (2012). Multi-Agent Justification Logic: Communication and Evidence Elimination. [REVIEW] 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Barteld Kooi & Bryan Renne (2011). Arrow Update Logic. 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.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Bryan Renne & Barteld Kooi, Generalized Arrow Update Logic.
    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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Bryan Renne (2008). Public and Private Communication Are Different: Results on Relative Expressivity. 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation