Talk:Institution (computer science)

Model?
What does "model" mean in this context? Does it mean the same as Interpretation (logic) or Structure (mathematical logic) or something else? -- 85.181.179.182 (talk) 10:54, 2 August 2011 (UTC)