id: 01453148
dt: a
an: 01453148
au: Thijsse, E.
ti: Knowledge and belief representation in a partial model.
so: Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games
    and decisions. Based on the conference, Marseille, France, January
    1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser.
    C. 20, 129-150 (1997).
py: 1997
pu: Dordrecht: Kluwer Academic Publishers
la: EN
cc: 
ut: existence logic; doxastic logic; possible worlds semantics; partial models
ci: 
li: 
ab: The author studies propositional logics of knowledge and belief using
    possible worlds models that are only partial, i.e. not all elementary
    letters need receive truth-values in all worlds. The motivation is to
    make models as small as possible and hence more easily computed. The
    central question tackled is: given a finite set $D$ of formulae, when
    can we find a finite partial frame that validates precisely the
    formulae that are consequences of $D$?
rv: David Makinson (Ville d’Avray)