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