Formale Repräsentation von Überzeugungen und Theorien der Überzeugungsrevision - Haas, Gordian (Handbuch Erkenntnistheorie.(2019))