CoReLab Courses

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

Syllabus: Modal Languages, Semantics: Models and Frames, Normal Modal 
Logics, Bisimulation. Soundness and Completeness of Modal Logics. 
Definability, Modal Tableaux, Complexity of Modal Logics. Temporal Logic 
(LTL, CTL), Epistemic Logic.
Prerequisites: At least a course in Mathematical Logic.