Date of Original Version
2000
Type
Book Chapter
Published In
Lecture Notes in Logic, 13. Logic Colloquium '98. Edited by S.R. Buss, P.r Hajek and P. Pudlak. 2000.
Abstract or Table of Contents
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.