Addendum to: Finite Variable Logics.

Ian M. Hodkinson

Published in: Bull. EATCS (1994)

Keyphrases

expressive power
multiscale
modal logic
finite number
computer vision
propositional dynamic logic
neural network
evolutionary algorithm
unit length