The completeness theorem for adapted probability logic - Rodenhausen, Hermann (Heidelberg, Univ., Diss., 1982, 1982)