Partial Logics Reconsidered: A Conservative Approach.

Published in: Formal Aspects Comput. (1993)

Keyphrases

expressive power
modal logic
learning algorithm
case study
real world
knowledge representation
higher order
classical logic