Minimal models vs. logic programming: the case of counterfactual conditionals

DOI10.1080/11663081.2014.911537MaRDI QIDQ4583350zbMATH OpenOpenAlexFDO

Authors Katrin Schulz

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://pure.uva.nl/ws/files/8496567/ESSLLI2012paper.pdf

zbMATH Keywords

logic programmingnon-monotonic reasoningminimal modelsconditional sentences

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Minimal-change counterfactuals in intuitionistic logic
• Minimum model semantics for logic programs with negation-as-failure
• Minimum model semantics for extensional higher-order logic programming with negation
• Counterfactual dependency and actual causation in CP-logic and structural models: a comparison
• A unified procedure for provability and counter-model generation in minimal implicational logic
• Proof Search and Counter Model of Positive Minimal Predicate Logic
• A Minimal Model Semantics for Nonmonotonic Reasoning
• Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
• Computing minimal models modulo subset-simulation for modal logics

Cites work

• Abductive Logic Programming
• Counterfactuals.
• Logic Programs under Three-Valued Łukasiewicz Semantics
• ``If you'd wiggled A, then B would've changed. Causality and counterfactual conditionals

Cited in

(4)

• Modeling generalized implicatures using non-monotonic logics
• Non-strict interventionism: the case of right-nested counterfactuals
• scientific article; zbMATH DE number 708662 (Why is no real title available?)
• Graph-based construction of minimal models

This page was built for publication: Minimal models vs. logic programming: the case of counterfactual conditionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583350)