unicode_fol_kit.would

unicode_fol_kit.would(model, world, antecedent, consequent)

Return whether world ⊨ antecedent □→ consequent (Lewis “would” counterfactual).

Vacuously true if no sphere of world holds an antecedent-world; otherwise the consequent must hold at every antecedent-world of the smallest antecedent-permitting sphere.

Parameters:

• model (CounterfactualModel)

• world (Any)

• antecedent (Node)

• consequent (Node)

Return type:

bool