Propositional logic based on the dynamics of belief (1985)

by P Gärdenfors
Venue:Journal of Symbolic Logic