Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae.

Stéphane Demri Ewa Orlowska

Published in: Stud Logica (1999)

Keyphrases

computational model
high level
probabilistic model
mathematical model
experimental data
formal model
genetic algorithm
probability distribution
theoretical analysis
parameter estimation
finite number