Modal Logic @ μΠλΑ, Spring 2015

Modal Logic, μΠλΑ, Εαρινό εξάμηνο 2015

Βιβλιογραφία

[BdRV] P. Blackburn, M. de Rijke, Y. Venema: Modal Logic, Cambridge University Press, 2001.
[LTC] R. Goldblatt: Logics of Time and Computation, CSLI Publications, 1992.
[HC-CML] G. E. Hughes, M. J. Cresswell:, a companion to Modal Logic, Methuen, 1984.
[ChZ] A. Chagrov, M. Zakharyaschev: Modal Logic, Clarendon Press, 1997.
[Chellas] B. F. Chellas: Modal Logic - an introduction, Cambridge University Press, 1980.
[new-IML] G. E. Hughes, M. J. Cresswell, A new introduction to Modal Logic, Routledge 1996.

Ημερολόγιο Μαθήματος

Ημερομηνια	Περιεχόμενο διάλεξης	[BdRV]	[LTC]	[HC-CML]	[new-IML]	[Chellas]
Παρασκευή, 6 Μαρτίου 2015 [KΔΚ]	Introduction, Syntax, Semantics (Relational Frames and Models), Basic Correspondence Theory	pp. 9-10,16-19, 24-25	pages 3-9, 12-13
Παρασκευή, 13 Μαρτίου 2015 [KΔΚ]	Frame constructions: generated submodels & subframes, disjoint unions, p-morphisms. Modal definability.	Sections 2.1, 3.1 & 3.3 (pp.130-140).	pp. 10-12.
Παρασκευή, 20 Μαρτίου 2015 [ΧΡ]	Aσκήσεις
Τρίτη, 24 Μαρτίου 2015 [KΔΚ]	Recalling some basic facts from classical model theory. More on FO definability and undefinability of classes of frames. Normal Modal Logics (introduction).	Section 3.2 - esp. Example(s) 3.9 & 3.11. Sections 1.5 & 1.6.	pp. 14-15, 16-17
Παρασκευή, 27 Μαρτίου 2015 [ΧΡ]	Aσκήσεις
Τρίτη, 31 Μαρτίου 2015 [KΔΚ]	Basic Completeness Theory (MCSs, Canonical Model), completeness-via-canonicity proofs.	4.1, 4.2	pp. 17-22	pp. 17-27
Παρασκευή, 3 Απριλίου 2015 [ΚΔΚ]	Canonicity-for-a-property proofs (axioms D, T, B, 4, L, G, etc)	4.3	pp. 24-30	pp. 27-33
Δευτέρα, 4 Μαϊου 2015 [ΧΡ]	Ασκήσεις
Παρασκευή, 8 Μαϊου 2015 [ΚΔΚ]	Completeness Theory (cont.)	Section 4.5	pp. 28-30	Chapter 3: pp. 47-51, Chapter 5
Δευτέρα, 11 Μαϊου 2015 [ΧΡ]	Επανάληψη και ασκήσεις σε Filtrations, FMP.	pp. 77-82	Chapter 4, pp. 31-36	Chapter 8: pp. 135-144
Παρασκευή, 15 Μαϊου 2015 [ΚΔΚ]	Non Compact Logics, Failure of Canonicity, Frame Incompleteness. General Frames.	Section 4.4	pp. 51-52 (Canonicity), pp. 55-57 (Incompleteness)	Chapter 4., Chapter 6: pp. 94-107.	Chapter 9.
Δευτέρα, 18 Μαϊου 2015 [ΧΡ]	Temporal Logic	pp. 12 , 21–22 , 206–209	pp. 37-44
Παρασκευή, 22 Μαϊου 2015 [ΚΔΚ]	Cluster analysis of transitive logics. Transforming the Canonical Model: determination of K4DLZ, KW.	Section 4.5.	Chapter 8, pp. 65-70	pp. 145-148
Παρασκευή, 29 Μαϊου 2015 [XΡ]	Modal Tableaux
Παρασκευή, 5 Ιουνίου 2015 [ΚΔΚ]	Scott-Montague (Neighborhood) Semantics and their Logics					Chapters 7, 8 & 9.
Δευτέρα, 15 Ιουνίου 2015 [ΚΔΚ]	Propositional Dynamic Logic (PDL)		Chapter 10, pp. 109-116.
Δευτέρα, 22 Ιουνίου 2015 [ΣΜ]	Complexity of Modal Logics	Chapter 6
Δευτέρα, 29 Ιουνίου 2015 [ΑΧ]	Temporal Logics of Linear and Branching Time	ESSLI Notes (V. Goranko)

Τι έχουμε καλύψει έως τώρα [updated July 9, 2015]

[με αρκετή επικάλυψη, την οποία όμως εύκολα θα εντοπίσετε]

~~[BdRV]~~ Preface (pages xi-xvii, αξίζει να τις διαβάσετε), Chapter 1 (including Section 1.7-Historical Overview, πολύ καλή ιστορική αναδρομή), Chapter 2: 2.1, 2.1, Chapter 3: 3.1, 3.2, 3.3, Chapter 4: 4.1, 4.2, 4.3. 4.4, Chapter 6.

~~[LTC]~~ Chapter 1 (Syntax & Semantics), Chapter 2 (Proof Theory), Chapter 3 (Canonical Models and Completeness), Chapter 4 (Filtrations and Decidability), Chapter 7 (Some Topics in MetaTheory): pp. 51-52 (Canonicity), pp. 55-57 (Incompleteness), Chapter 8 (pp. 65-70), Chapter 10 (pp. 109-116)

~~[HC-CML]~~ Chapter 2 (Canonical Models & Completeness Proofs): pages 16-33, Chapter 3 (More results about characterization): pp. 47-51, Chapter 4 (Completeness and Incompleteness in Modal Logic), Chapter 5 (Frames and Models), Chapter 6 (Frames and Systems): pp. 94-107, Chapter 8 (Finite Models): pp. 135-144

~~[new-IML]~~ Chapter 9 (Incompleteness)

~~[Chellas]~~ Chapter 7,8, 9 (Neighborhood Semantics)