C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From Turner's Logic of Universal Causation to the Logic of GK.
Jianmin Ji
Fangzhen Lin
Published in:
Correct Reasoning (2012)
Keyphrases
</>
multi valued
abductive reasoning
logic programming
modal logic
classical logic
nonmonotonic logics
databases
probabilistic logic
predicate logic
truth values
proof theory
automated reasoning
computational properties
formal theory
sound and complete axiomatization