Switch to: References

Add citations

You must login to add citations.
  1. Boolean Algebras Arising From Information Systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
    Following the theory of Boolean algebras with modal operators , in this paper we investigate Boolean algebras with sufficiency operators and mixed operators . We present results concerning representability, generation by finite members, first order axiomatisability, possession of a discriminator term etc. We generalise the classes BAO, SUA, and MIA to classes of algebras with the families of relative operators. We present examples of the discussed classes of algebras that arise in connection with reasoning with incomplete information.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Understanding the Brandenburger-Keisler Paradox.Eric Pacuit - 2007 - Studia Logica 86 (3):435-454.
    Adam Brandenburger and H. Jerome Keisler have recently discovered a two person Russell-style paradox. They show that the following configurations of beliefs is impossible: Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong. In [7] a modal logic interpretation of this paradox is proposed. The idea is to introduce two modal operators intended to represent the agents’ beliefs and assumptions. The goal of this paper is to take this analysis further and study this paradox from the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations