mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2012-2013 » fall semester » Λ99Γ. Modal logic (2012-2013, fall semester)

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

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

You must be logged in to comment.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.