Weekly outline

  • General

    Ακαδημαϊκό έτος 

    • 2018-2019 (εαρινό εξάμηνο)

    Διδάσκοντες

    • Στάθης Ζάχος
    • Πέτρος Ποτίκας (ppotik@cs.ntua.gr)


    Βοηθός διδασκαλίας

    • Αγγελική Χαλκή (achalki@corelab.ntua.gr)


    Έναρξη μαθήματος

    • Τρίτη 26/2/2019, 10:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Διαλέξεις

    • Κάθε Τρίτη 10:00-14:00, αιθ. 1.1.31, παλ. κτ. ΗΜΜΥ


    Περιγραφή μαθήματος

    Γλώσσα της Τροπικής Λογικής, Σημασιολογία: Μοντέλα και Πλαίσια, 
    Κανονικές Τροπικές Λογικές, Aμφιπροσομοίωση. Ορθότητα και Πληρότητα 
    Τροπικών Λογικών, Ορισιμότητα, Τροπικά ταμπλό, Πολυπλοκότητα Τροπικών 
    Λογικών. Χρονική Τροπική Λογική (LTL, CTL), Επιστημική Τροπική Λογική.


    Προαπαιτούμενα

    • Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής.


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

    • Blackburn, P., Rijke, M., & Venema, Y. (2001). Modal Logic (Cambridge Tracts in Theoretical Computer Science). Cambridge: Cambridge University Press. doi:10.1017/CBO9781107050884 (Modal Logic)
    • Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X. Journal of Functional Programming, 18(3), 421-422. doi:10.1017/S095679680700671  (Temporal Logic)
    • Reasoning about Knowledge (Fagin, Halpern, Moses, Vardi)  (Epistemic Logic)

  • 26 February - 4 March

    Basic Modal Language. Models and Frames. Satisfaction and Validity. Definability.

    (Modal Logic Slides pages 1-18)

    • 5 March - 11 March

      Invariance Results. Undefinable Properties. Hennesy-Milner Theorem.

      (Modal Logic Slides pages 19-36)

      • 12 March - 18 March

        Proof of the Hennesy-Milner Theorem. Finite Model Property. Standard Translation. Lob formula.

        (Modal Logic Slides pages 37-56)


        • 19 March - 25 March

          Modal Tableaux.

          From the book "First Order Modal Logic", Chapter 2 (Melving Fitting and Richard Mendelsohn).

          • 26 March - 1 April

            Frame definability and Second Order Logic.

            (Modal Logic Slides pages 57-66)

            • 2 April - 8 April

              Normal Modal Logics. Completeness.

              (Modal Logic Slides pages 67-88)

              • 9 April - 15 April

                Canonical Normal Modal Logics. Limitative Results. Incompleteness.
                (Modal Logic Slides pages 89-107)
                • 16 April - 22 April

                  Epistemic Logic. Reasoning about Knowledge.

                  • 23 April - 29 April

                    Easter Holiday

                    • 30 April - 6 May

                      Easter Holiday

                      • 7 May - 13 May

                        Epistemic Logic. Reasoning about Knowledge (cont.).