Counterfactual Conditionals in Quantified Modal Logic

  title={Counterfactual Conditionals in Quantified Modal Logic},
  author={G. NaveenSundar and Selmer Bringsjord},
We present a novel formalization of counterfactual conditionals in a quantified modal logic. Counterfactual conditionals play a vital role in ethical and moral reasoning. Prior work has shown that moral reasoning systems (and more generally, theory-of-mind reasoning systems) should be at least as expressive as first-order (quantified) modal logic (QML) to… CONTINUE READING