LARA This is an old revision of the document! Exercises 05 Homework analysis Semantic proof of drinker's paradox Monotonicity of semantic consequence Sets of sentences with only finite and with only infinite models