Team Logic and Second-Order Logic.

Juha Kontinen Ville Nurmi

Published in: Fundam. Informaticae (2011)

Keyphrases

predicate logic
cooperative
modal logic
computational properties
proof theory
data mining
higher order
multi valued
classical logic
digital circuits
formal theory
machine learning
automated reasoning
logic synthesis