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 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.