The most common semantic framework of logic for counterfactual conditionals, which escapes these pitfalls, is so called comparative similarity analysis, proposed by Robert Stalnaker [1]} and David Lewis [2]}. The basic idea may be expressed as follows:
