4 found
Order:
  1.  12
    Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong (2008). Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37 (5):501 - 520.
    The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  12
    Ron van der Meyden & Ka-shu Wong (2003). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93 - 123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong (2008). Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37 (5):501-520.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Ron van der Meyden & Ka-shu Wong (2004). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93-123.
    Direct download  
     
    Export citation  
     
    My bibliography