Turner's logic of universal causation, propositional logic, and logic programming

DOI10.1007/978-3-642-40564-8_40zbMATH Open1405.68356OpenAlexW2125486456MaRDI QIDQ2851270FDOQ2851270

Jianmin Ji, Fangzhen Lin

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_40

Recommendations

• From Turner's logic of universal causation to the logic of GK
• On the logic of causal explanation
• A logic of universal causation
• Representing first-order causal theories by logic programs
• scientific article; zbMATH DE number 1931661

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• GNT

This page was built for publication: Turner's logic of universal causation, propositional logic, and logic programming

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