Grice and model theory

From wiki,

"model theory"

"History"

"Model theory as a subject has existed since approximately the middle of the 20th century."

"However some earlier research, especially in mathematical logic, is often regarded as being of a model-theoretical nature in retrospect."

"The first significant result in what is now model theory was a special case of the downward Löwenheim–Skolem theorem, published by Leopold Löwenheim in 1915."

"The compactness theorem was implicit in work by Thoralf Skolem,[2] but it was first published in 1930, as a lemma in Kurt Gödel's proof of his completeness theorem."

"The Löwenheim–Skolems theorem and the compactness theorem received their respective general forms in 1936 and 1941 from Anatoly Maltsev."

And so on. No mention, explcit, of truth-conditional and attempts to generalise 'truth-conditional' qua model-theoretic for things other than alethic.