| Under Graduate Degree | Year module | NQF level: 7 | Credits: 12 |
| Module presented in English | |||
| Pre-requisite: COS2661 | |||
| Purpose: To enable students to construct a number of different formal languages (such as opaque or transparent propositional languages, firstorder languages, sorted languages, modal languages and non-monotonic logics) and to solve problems of validity and truth for these languages. | |||