Order:
  1.  13
    Conditional Beliefs: From Neighbourhood Semantics to Sequent Calculus.Marianna Girlando, Sara Negri, Nicola Olivetti & Vincent Risch - 2018 - Review of Symbolic Logic 11 (4):736-779.
    The logic of Conditional Beliefs has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are studied. First, a natural semantics forCDLis defined in terms of neighbourhood models, a multi-agent generalisation of Lewis’ spheres models, and it is shown that the axiomatization ofCDLis sound and complete with respect to this semantics. Second, it is shown that the neighbourhood semantics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  6
    The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.Marianna Girlando, Sara Negri, Nicola Olivetti & Vincent Risch - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 322-341.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  12
    Analytic Tableaux for Default Logics.Vincent Risch - 1996 - Journal of Applied Non-Classical Logics 6 (1):71-88.