@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Logic Texts}, subject = {Models}, note = {II 255 Model/Hoyningen-Huene: a model of a formula P is a valuation that assigns the truth value t of P. Satisfaction: those valuations that assign t to a formula P satisfy the formula. >Formulas, >Valuation, >Satisfaction, >Model theory, cf. >Proof theory. },