A simple combinatorial proof for the small model property of two-variable logic.

Yanger Ma Tony Tan

Published in: Inf. Process. Lett. (2021)

Keyphrases

statistical model
high level
decision making
data model
probabilistic model
theoretical analysis
computational model
data sets
reinforcement learning
evolutionary algorithm
cost function
small number
logic programming
experimental data