Negative-Existentially Complete Structures and Definability in Free Extensions.

Volker Weispfenning

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

Keyphrases

positive and negative
standard model
multi agent
real time
data sets
social networks
evolutionary algorithm
fixed point
propositional logic