Τροπική λογική: 2012-2013, χειμερινό εξάμηνο
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Γ. Τροπική λογική.
| Taught by: | Κωνσταντίνος Δ. Κούτρας |
|---|---|
| Teaching assistant: | Γεώργιος Ζήκος |
| Start date: | 19 Οκτωβρίου 2012 |
| End date: |
Teaching hours
-
every
Τετάρτη, 13:15-14:00,
Γ33, Τμήμα Μαθηματικών, ΕΚΠΑ
(Ζήκος)
except:- Τετάρτη, 07 Νοέ 2012
-
every
Παρασκευή, 13:00-16:00,
Γ33, Τμήμα Μαθηματικών, ΕΚΠΑ
(Κούτρας)
except:- Παρασκευή, 16 Νοέ 2012
Extra, date-specific lectures
- Τετάρτη, 14 Νοέ 2012: Γ33, Τμήμα Μαθηματικών, ΕΚΠΑ
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
- Στέλλα Μητροπούλου
- Χρήστος Μωυζές
- Βάγια Γιαννακοπούλου
- Χρήστος Ραντσούδης
- Βάγιος Βλάχος
- Αλέξανδρος Αποστολίδης
- Αικατερίνη Νικολιδάκη
- Θεόδωρος Μπαρμπάκος
Exams
Diary
Παρασκευή, 19 Οκτ 2012 Κούτρας
Syntax, Relational Frames and Models, basic correspondence: [BdRV]: pages 9-10,16-19,24-25. [LTC]: pages 3-9, 12-13.
Τετάρτη, 24 Οκτ 2012 Ζήκος
Παρασκευή, 26 Οκτ 2012 Κούτρας
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).
Τετάρτη, 31 Οκτ 2012 Ζήκος
Παρασκευή, 02 Νοέ 2012 Κούτρας
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)
Παρασκευή, 09 Νοέ 2012 Κούτρας
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)
Τετάρτη, 14 Νοέ 2012 Ζήκος
Τετάρτη, 21 Νοέ 2012 Ζήκος
Παρασκευή, 23 Νοέ 2012 Κούτρας
Canonical Models and Completeness [LTC] Chapter 3. [BdRV] Sections 4.2 & 4.3.
Τετάρτη, 28 Νοέ 2012 Ζήκος
Παρασκευή, 30 Νοέ 2012 Κούτρας
More on canonical frames (and models) and completeness via canonicity proofs.
Τετάρτη, 05 Δεκ 2012 Ζήκος
Παρασκευή, 07 Δεκ 2012 Κούτρας
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
Τετάρτη, 12 Δεκ 2012 Ζήκος
Παρασκευή, 14 Δεκ 2012 Κούτρας
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
Τετάρτη, 19 Δεκ 2012 Ζήκος
Παρασκευή, 21 Δεκ 2012 Κούτρας
Frame Incompleteness (Thomason's temporal logic, logic KH) [LTC] pages 55-57 Chapter 9 from Hughes & Cresswell: "A new introduction to modal logic"
Παρασκευή, 11 Ιαν 2013 Ζήκος
Οι επιστημικές τροπικές λογικές των Lenzen και Stalnaker, καθώς και η S4.2. Το αξίωμα 5. και η σχέση του με τις ΕΤΛ. Μοντέλα της S4.2. Παραδείγματα επιστημικών μοντέλων με χρήση της μη διαφοροποιησιμότητας κόσμων.
Τετάρτη, 16 Ιαν 2013 Ζήκος
Ορθότητα και πληρότητα της διτροπικής S4.2+DB ως προς συγκεκριμένη κλάση πλαισίων. Μετασχηματισμοί επιστημικών μοντέλων (πολλών αντιληπτόρων-agent).
Παρασκευή, 18 Ιαν 2013 Κούτρας
Scott-Montague Semantics, Classical, Monotonic and Regular Modal Logics. [Chellas] 7, 8 & 9. Also, Eric Pacuit's ESSLI 2007 course notes.
Τετάρτη, 23 Ιαν 2013 Ζήκος
Παρασκευή, 25 Ιαν 2013 Κούτρας
Short introduction to Propositional Dynamic Logic: syntax, semantics, hints on the completeness proof [LTC] pages 109-111.
Τετάρτη, 30 Ιαν 2013 Ζήκος
Παρασκευή, 01 Φεβ 2013 Κούτρας
Τετάρτη, 06 Φεβ 2013 Ζήκος
Παρασκευή, 08 Φεβ 2013 Κούτρας
Τετάρτη, 13 Φεβ 2013 Ζήκος
Παρασκευή, 15 Φεβ 2013 Κούτρας
Τετάρτη, 20 Φεβ 2013 Ζήκος
Παρασκευή, 22 Φεβ 2013 Κούτρας
Τετάρτη, 27 Φεβ 2013 Ζήκος
Handouts
| # | handout | given on | deadline | solutions |
|---|---|---|---|---|
| 1 | Ασκήσεις (Ι) | Τετάρτη, 24 Οκτ 2012 | 2012-11-04 | |
| 2 | Ασκήσεις (ΙI) | Τετάρτη, 31 Οκτ 2012 | 2012-11-11 | |
| 3 | Ασκήσεις (ΙII) | Τετάρτη, 14 Νοέ 2012 | 2012-11-25 | |
| 4 | Ασκήσεις (ΙV) | Τετάρτη, 21 Νοέ 2012 | 2012-12-02 | |
| 5 | Ασκήσεις (V) | Τετάρτη, 28 Νοέ 2012 | 2012-12-09 | |
| 6 | Ασκήσεις (VI) | Τετάρτη, 05 Δεκ 2012 | 2012-12-16 | |
| 7 | Ασκήσεις (VII) | Παρασκευή, 28 Δεκ 2012 | 2013-01-13 | |
| 8 | Ασκήσεις (VIII) | Τετάρτη, 23 Ιαν 2013 | 2013-02-03 |
Comments