The finite model property and recursive bounds on the size of countermodels.

Published in: J. Philos. Log. (1983)

Keyphrases

computational model
theoretical analysis
probabilistic model
probability distribution
statistical model
formal model
neural network
social networks
feature selection
high level
image sequences
multi agent
management system
mathematical model
conceptual model
simulation model