Semantical Characterizations for Irreflexive and Generalized Modal Languages.

Katsuhiko Sano Kentaro Sato

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

Keyphrases

expressive power
data sets
databases
neural network
modal logic
multi lingual
propositional variables
real world
information retrieval
clustering algorithm
pairwise
language independent
query translation
classical logic