Date of Original Version



Book Chapter

Published In

Lecture Notes in Logic, 13. Logic Colloquium '98. Edited by S.R. Buss, P.r Hajek and P. Pudlak. 2000.

Rights Management

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.

Included in

Philosophy Commons