Qualitative and Probabilistic Models of Full Belief
journal contributionposted on 01.01.2000, 00:00 by Horacio Arlo-Costa
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.