Free S5 algebras.

Published in: Notre Dame J. Formal Log. (1978)

Keyphrases

spatial reasoning
data sets
neural network
information retrieval
artificial intelligence
decision making
case study
multiscale
computer science
pairwise
topological spaces