Models in QL

preview_player
Показать описание
Introducing models, the basic semantic structures of QL
Рекомендации по теме
Комментарии
Автор

These are excellent. However, how does the model concept differ from interpretation? Also, can a single formula that satisfies the rules of correctness in an interpretation/model be called a model or is it instead a formula of the model?

justinotherpatriot