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-43)

      • 12 March - 18 March

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

        (Modal Logic Slides pages 37-59)


        • This week

          19 March - 25 March

          Modal Tableaux.

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