Compactness and Normality in Abstract Logics.

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

propositional dynamic logic
expressive power
modal logic
inference rules
low level
high level
feature space
normal distribution
higher level
knowledge representation
database
search algorithm
multiscale
decision trees
information retrieval
data mining
real time