From Turner’s Logic of Universal Causation to the Logic of GK

DOI10.1007/978-3-642-30743-0_25zbMath1357.68220OpenAlexW155507761MaRDI QIDQ2900533

Fangzhen Lin, Jianmin Ji

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_25

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• From answer set logic programming to circumscription via logic of GK
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• A logic of knowledge and justified assumption
• A logic of universal causation
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: From Turner’s Logic of Universal Causation to the Logic of GK