Counterfactual Conditionals in Quantified Modal Logic

@article{NaveenSundar2017CounterfactualCI,
  title={Counterfactual Conditionals in Quantified Modal Logic},
  author={G. NaveenSundar and Selmer Bringsjord},
  journal={CoRR},
  year={2017},
  volume={abs/1710.04161}
}
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