A deduction model of belief
Konolige, Kurt.
London Pitman
1986
Bibliography: p159-165
Cognition.
Artificial intelligence.
Analysis (Philosophy)
Logic.