Arlo-Costa, Horacio Qualitative and Probabilistic Models of Full Belief Let L be a language containing the modal operator B - for full belief. An information model is a set E of stable L-theories. A sentence is valid if it is accepted in all theories of every model. Philosophy 2000-01-01
    https://kilthub.cmu.edu/articles/journal_contribution/Qualitative_and_Probabilistic_Models_of_Full_Belief/6492515
10.1184/R1/6492515.v1