First page
Back
Continue
Last page
Graphics
Many different types of
logics
-
Of course, Ex is only a toy example
-
There are many different types of logics (First Order Logic,
F-Logic, Horn Logic,…)
-
- they differ in the terms and relations they allow
- but the model theory background is usually identical