On the Semantics of the Henkin Quantifier.

Michal Krynicki Alistair H. Lachlan

Published in: J. Symb. Log. (1979)

Keyphrases

formal semantics
semantic information
quantifier elimination
logic programming
genetic algorithm
social networks
operational semantics