Modal logic: 2012-2013, fall semester
This is a course that has been given 3 times. For information about this course in general (not just for this specific semester), visit its page: Λ99Γ. Modal logic.
| Taught by: | Costas D. Koutras |
|---|---|
| Teaching assistant: | Georgios Zikos |
| Start date: | Oct. 19, 2012 |
| End date: |
Teaching hours
-
every
Wednesday, 13:15-14:00,
Γ33, math, UoA
(Zikos)
except:- Wednesday, 07 Nov 2012
-
every
Friday, 13:00-16:00,
Γ33, math, UoA
(Koutras)
except:- Friday, 16 Nov 2012
Extra, date-specific lectures
- Wednesday, 14 Nov 2012: Γ33, math, UoA
Course information
Information
Bibliography
- P. Blackburn, M. de Rijke, Y. Venema, Modal Logic [BdRV]
- A. Chagrov, M. Zakharyaschev, Modal Logic [ChZ]
- R. Goldblatt, Logics of Time and Computation [LTC]
- G. E. Hughes, M. J. Cresswell, a companion to MODAL LOGIC [HC-CML]
- B. F. Chellas, MODAL LOGIC - an introduction [Chellas]
Enrolled students
- Stella Mitropoulou
- Christos Moyzes
- Vagia Giannakopoulou
- Christos Rantsoudis
- Vagios Vlachos
- Alexandros Apostolidis
- Aikaterini Nikolidaki
- Theodoros Barbakos
Exams
Diary
Friday, 19 Oct 2012 Koutras
Syntax, Relational Frames and Models, basic correspondence: [BdRV]: pages 9-10,16-19,24-25. [LTC]: pages 3-9, 12-13.
Wednesday, 24 Oct 2012 Zikos
Friday, 26 Oct 2012 Koutras
Basic frame constructions and modal definability: generated submodels & subframes, disjoint unions, p-morphisms. Truth and validity preservation/invariance. [BdRV]: Sections 2.1, 3.1 & 3.3 (pp.130-140, we did not speak about ultrafilter extensions and the Goldblatt-Thomason theorem). [LTC]: pp. 10-12, p. 30 (disj. unions).
Wednesday, 31 Oct 2012 Zikos
Friday, 02 Nov 2012 Koutras
General Frames ([BdRV, Section 1.4), Modal axiomatic classes of frames which are not first-order definable ([BdRV, Section 3.2 - esp. Example(s) 3.9 & 3.11, note that you have to recall some basic facts from classical model theory)
Friday, 09 Nov 2012 Koutras
Normal Modal Logics [BdRV] Sections 1.5, 1.6, 4.1 and 4.2 (up to page 199), read also 1.7 (Historical Overview). [LTC] Chapter 2 (proof theory)
Wednesday, 14 Nov 2012 Zikos
Wednesday, 21 Nov 2012 Zikos
Friday, 23 Nov 2012 Koutras
Canonical Models and Completeness [LTC] Chapter 3. [BdRV] Sections 4.2 & 4.3.
Wednesday, 28 Nov 2012 Zikos
Friday, 30 Nov 2012 Koutras
More on canonical frames (and models) and completeness via canonicity proofs.
Wednesday, 05 Dec 2012 Zikos
Friday, 07 Dec 2012 Koutras
Canonicity (of a logic), Compactness, strong completeness. Failure of canonicity, Amalgamation technique, Rule of Disjunction. [BdRV] Section 4.4. [HC-CML] Chapter 6, basically pages 94-103 (but the whole chapter is useful and very readable) [LTC] pages 51-52
Wednesday, 12 Dec 2012 Zikos
Friday, 14 Dec 2012 Koutras
Transformations of the Canonical Model (techniques to use when caconicity fails). Cluster analysis for transitive frames. Completeness of KW (LTC, logic KL in BdRV), completeness of KD4LZ. [LTC] Chapter 8 (pages 65-70) [BdRV] Section 4.5
Wednesday, 19 Dec 2012 Zikos
Friday, 21 Dec 2012 Koutras
Frame Incompleteness (Thomason's temporal logic, logic KH) [LTC] pages 55-57 Chapter 9 from Hughes & Cresswell: "A new introduction to modal logic"
Friday, 11 Jan 2013 Zikos
Οι επιστημικές τροπικές λογικές των Lenzen και Stalnaker, καθώς και η S4.2. Το αξίωμα 5. και η σχέση του με τις ΕΤΛ. Μοντέλα της S4.2. Παραδείγματα επιστημικών μοντέλων με χρήση της μη διαφοροποιησιμότητας κόσμων.
Wednesday, 16 Jan 2013 Zikos
Ορθότητα και πληρότητα της διτροπικής S4.2+DB ως προς συγκεκριμένη κλάση πλαισίων. Μετασχηματισμοί επιστημικών μοντέλων (πολλών αντιληπτόρων-agent).
Friday, 18 Jan 2013 Koutras
Scott-Montague Semantics, Classical, Monotonic and Regular Modal Logics. [Chellas] 7, 8 & 9. Also, Eric Pacuit's ESSLI 2007 course notes.
Wednesday, 23 Jan 2013 Zikos
Friday, 25 Jan 2013 Koutras
Short introduction to Propositional Dynamic Logic: syntax, semantics, hints on the completeness proof [LTC] pages 109-111.
Wednesday, 30 Jan 2013 Zikos
Friday, 01 Feb 2013 Koutras
Wednesday, 06 Feb 2013 Zikos
Friday, 08 Feb 2013 Koutras
Wednesday, 13 Feb 2013 Zikos
Friday, 15 Feb 2013 Koutras
Wednesday, 20 Feb 2013 Zikos
Friday, 22 Feb 2013 Koutras
Wednesday, 27 Feb 2013 Zikos
Handouts
| # | handout | given on | deadline | solutions |
|---|---|---|---|---|
| 1 | Ασκήσεις (Ι) | Wednesday, 24 Oct 2012 | 2012-11-04 | |
| 2 | Ασκήσεις (ΙI) | Wednesday, 31 Oct 2012 | 2012-11-11 | |
| 3 | Ασκήσεις (ΙII) | Wednesday, 14 Nov 2012 | 2012-11-25 | |
| 4 | Ασκήσεις (ΙV) | Wednesday, 21 Nov 2012 | 2012-12-02 | |
| 5 | Ασκήσεις (V) | Wednesday, 28 Nov 2012 | 2012-12-09 | |
| 6 | Ασκήσεις (VI) | Wednesday, 05 Dec 2012 | 2012-12-16 | |
| 7 | Ασκήσεις (VII) | Friday, 28 Dec 2012 | 2013-01-13 | |
| 8 | Ασκήσεις (VIII) | Wednesday, 23 Jan 2013 | 2013-02-03 |
Comments