On the Logic of Quantification.

Willard Van Orman Quine

Published in: J. Symb. Log. (1945)

Keyphrases

modal logic
automated reasoning
computational properties
real world
classical logic
digital circuits
database
real time
databases
social networks
case study
bayesian networks
multi valued
defeasible logic
epistemic logic