Undecidability Results on Two-Variable Logics.

Erich Grädel Martin Otto Eric Rosen

Published in: STACS (1997)

Keyphrases

description logics
expressive power
modal logic
number restrictions
classical logic
information retrieval
genetic algorithm
decision trees
search algorithm