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

DOI10.1080/11663081.2014.911537zbMATH Open1398.03145OpenAlexW2080521284MaRDI QIDQ4583350FDOQ4583350

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

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

zbMATH Keywords

logic programmingnon-monotonic reasoningminimal modelsconditional sentences

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Modeling generalized implicatures using non-monotonic logics
• Non-strict interventionism: the case of right-nested counterfactuals
• Title not available (Why is that?)
• 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)