Date of Original Version
Lecture Notes in Logic, 13. Logic Colloquium '98. Edited by S.R. Buss, P.r Hajek and P. Pudlak. 2000.
All Rights Reserved
Abstract or Description
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.