Skip to main content
Side panel
CoReLab Courses
Home
Calendar
CoReLab Home
CoReLab Courses
Προπτυχιακά
Μεταπτυχιακά
Research
Seminar
People
Theses
More
English (en)
English (en)
Ελληνικά (el)
You are currently using guest access
Log in
CoReLab Courses
Home
Calendar
CoReLab Home
CoReLab Courses
Collapse
Expand
Προπτυχιακά
Μεταπτυχιακά
Research
Seminar
People
Theses
Expand all
Collapse all
Open course index
Open block drawer
advlogic1819
26 March - 1 April
26 March - 1 April
Section outline
Frame definability and Second Order Logic.
(Modal Logic Slides pages 57-66)