Switch to: References

Add citations

You must login to add citations.
  1. Agreement Theorems in Dynamic-Epistemic Logic.Cédric Dégremont & Oliver Roy - 2012 - Journal of Philosophical Logic 41 (4):735-764.
    This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Knowledge and communication: A first-order theory.Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):81-139.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The information in intuitionistic logic.Johan Benthem - 2008 - Synthese 167 (2):251-270.
    Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of 'factual' versus 'procedural' information, or 'statics' versus 'dynamics'. What does intuitionistic logic, perhaps the earliest source of informational and procedural thinking in contemporary logic, really tell us about information? How does its view relate to its 'cousin' epistemic logic? We discuss connections between intuitionistic models and recent protocol models for dynamic-epistemic logic, as well as more general issues that emerge.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic, Rationality, and Interaction.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.
    Download  
     
    Export citation  
     
    Bookmark  
  • Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2022 - Journal of Philosophical Logic 52 (1):53-110.
    We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a ‘memory’ of the initial states, representing the information before any communication took place (“the prior”), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
    We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single-agent case, based on the notion of interpretation, to the multi-agent case. Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting. Finally, we give an example of revision operator that fulfills one of these new postulates and give (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch & Martin Holm Jensen - 2017 - Synthese 194 (7):2447-2487.
    Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations