Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
sav08:exercises_05 [2008/03/18 18:30] vkuncak created |
sav08:exercises_05 [2008/03/18 18:35] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * Monotonicity of semantic consequence | * Monotonicity of semantic consequence | ||
| * Sets of sentences with only finite and with only infinite models | * Sets of sentences with only finite and with only infinite models | ||
| + | * Herbrand universe | ||
| + | * Resolution proofs | ||