Canonicity for Intensional Logics Without Iterative Axioms.

Timothy J. Surendonk

Published in: J. Philos. Log. (1997)

Keyphrases

knowledge base
expressive power
iterative optimization
artificial intelligence
modal logic
iterative process
nonmonotonic inference
database
information retrieval
case study
search algorithm
higher order
first order logic
query evaluation
classical logic