Total Logic-ERRATUM.

Stephan Leuenberger

Published in: Rev. Symb. Log. (2014)

Keyphrases

logic programming
classical logic
database
automated reasoning
logical framework
data mining
decision making
case study
modal logic
probability theory
probabilistic logic
formal theory
abductive reasoning
dynamic logic
natural deduction
proof theory