Λογική και Πληροφορική ΙΙ: Λογική, Αυτόματα και Παίγνια (ΗΜΜΥ), Τροπική Λογική (ΑΛΜΑ)

Section outline

• Select section General

  Collapse Expand

  General

  Collapse all Expand all

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

  • 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)
  • Modal Logic, Alexander Chagrov and Michael Zakharyaschev (Intuitionistic logic)

  • Select activity Ανακοινώσεις

    

    Ανακοινώσεις Forum
  • Select activity Διαφάνειες

    

    Διαφάνειες Folder
• Select section 26 February - 4 March

  Collapse Expand

  26 February - 4 March

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

  (Modal Logic Slides pages 1-18)
• Select section 5 March - 11 March

  Collapse Expand

  5 March - 11 March

  Invariance Results. Undefinable Properties. Hennesy-Milner Theorem.

  (Modal Logic Slides pages 19-36)
  
• Select section 12 March - 18 March

  Collapse Expand

  12 March - 18 March

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

  (Modal Logic Slides pages 37-56)
  

  
  
• Select section 19 March - 25 March

  Collapse Expand

  19 March - 25 March

  Modal Tableaux.

  From the book "First Order Modal Logic", Chapter 2 (Melving Fitting and Richard Mendelsohn).
  
• Select section 26 March - 1 April

  Collapse Expand

  26 March - 1 April

  Frame definability and Second Order Logic.

  (Modal Logic Slides pages 57-66)
  
• Select section 2 April - 8 April

  Collapse Expand

  2 April - 8 April

  Normal Modal Logics. Completeness.

  (Modal Logic Slides pages 67-88)
• Select section 9 April - 15 April

  Collapse Expand

  9 April - 15 April

  Canonical Normal Modal Logics. Limitative Results. Incompleteness.

  (Modal Logic Slides pages 89-107)
  
• Select section 16 April - 22 April

  Collapse Expand

  16 April - 22 April

  Epistemic Logic. Reasoning about Knowledge.
  

  From the book "Reasoning about Knowledge" (Fagin, Halpern, Moses, Vardi). 
  
• Select section 23 April - 29 April

  Collapse Expand

  23 April - 29 April

  Easter Holiday
  
• Select section 30 April - 6 May

  Collapse Expand

  30 April - 6 May

  Easter Holiday
  
• Select section 7 May - 13 May

  Collapse Expand

  7 May - 13 May

  Epistemic Logic. Reasoning about Knowledge (cont.).
  
• Select section 14 May - 20 May

  Collapse Expand

  14 May - 20 May

  Intuitionistic logic.

  From the book "Modal Logic" (Alexander Chagrov and Michael Zakharyaschev).
• Select section 21 May - 27 May

  Collapse Expand

  21 May - 27 May

  Minimal modal logics.

  From the book "Modal logic", Ch. 6, 7 (B. Chellas).