Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.

Johann A. Makowsky Annalisa Marcja

Published in: Math. Log. Q. (1977)

Keyphrases

probabilistic model
computational model
management system
mathematical model
conceptual model
knowledge base
formal model
image segmentation
prior knowledge
data model
theoretical analysis
semantic information
theoretical framework
mathematical models
specification language