Bounded variable logics: two, three, and more.

Published in: Arch. Math. Log. (1999)

Keyphrases

expressive power
modal logic
database
classical logic
computational properties
nonmonotonic logics
conditional logic
neural network
machine learning
artificial intelligence
knowledge base
multiscale
knowledge representation