English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

We present a novel formalization of counterfactual conditionals in aquantified modal logic. Counterfactual conditionals play a vital role inethical and moral reasoning. Prior work has shown that moral reasoning systems(and more generally, theory-of-mind reasoning systems) should be at least asexpressive as first-order (quantified) modal logic (QML) to be well-behaved.While existing work on moral reasoning has focused on counterfactual-free QMLmoral reasoning, we present a fully specified and implemented formal systemthat includes counterfactual conditionals. We validate our model with twoprojects. In the first project, we demonstrate that our system can be used tomodel a complex moral principle, the doctrine of double effect. In the secondproject, we use the system to build a data-set with true and falsecounterfactuals as licensed by our theory, which we believe can be useful forother researchers. This project also shows that our model can becomputationally feasible.

Counterfactual Conditionals in Quantified Modal Logic