Logics For Conditionals Phd Thesis 1985