|
Week |
Lecture Notes |
Topic |
|
1 |
htm
|
Introducing Modal Logics: A simple logic
(S5) |
|
2 |
Introducing Modal Logics:
Counterexamples in S5 |
|
3 |
htm
|
From K to S5 by the Hintikka strategy |
|
4 |
From K to S5 by the Orthodox strategy.
Counterexamples |
|
5 |
htm |
Quantified Modal Logics |
|
6 |
Existential Import |
|
7 |
htm |
Deductions in Modal Logics: Natural Deduction |
|
8 |
No class today |
|
9 |
Deductions in Modal Logics: Axiomatics |
|
10 |
htm |
Temporal Logic
|
|
htm |
Epistemic Logic |
|
11 |
htm |
Many-Valued Logic |
|
htm |
Paraconsistent Logic |
|
12 |
htm |
On the real possibility of a non-classical
logic
|
|
13 |
|
Review
|
