The aim of the course is to introduce you to the kinds of questions logicians ask about logics, the

*meta-theory* of logic. To illustrate these questions, we will use natural logic (NL), propositional logic (PL), modal logic (ML) and first-order logic (FOL). All of these logical systems are important in philosophy, computer science, AI, linguistics and mathematics. We will discuss syntax & semantics for these logics, logical consequence, axiomatic systems, compactness, definability issues, completeness and the relationship between these different logical systems.

**Related Courses**. For more information about the topics which may be discussed during the semester, you can consult the webpages of the following related courses that I have taught: