A semantic analysis of conditional logic1