Model Existence Theorems for Modal and Intuitionistic Logics.

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

Keyphrases

probabilistic model
high level
em algorithm
theoretical framework
theoretical analysis
prior knowledge
cost function
probability distribution
computational model
conceptual model