Introduction to Modal Logic

Studiewijzer 2017/2018

Globale inhoud

Het vak behandelt de basisbegrippen van de modale logica: syntax, relationele semantiek, modellen en frames, bisimulaties, model- en frametheoretische constructies, volledigheid.

The course covers the basic notions of modal logic: syntax, relational semantics, models and frames, bisimulations, model theoretic and frame theoretic constructions, completeness. More advanced topics include expressive power and neighbourhood frames.

Studiemateriaal

Literatuur

• De Rijke en Venema, 'Modal Logic', Blackburn, Cambridge University Press, 2001.

Leerdoelen

The students should be able to point out when a modal formula is satisfied/valid on a given Kripke model/frame.

They should also be able to compute standard translations of modal formulas and first-order correspondents of Sahlqvist formulas.

They are expected to produce a completeness proof via the canonical model construction for some basic systems of modal logic.

They should also be able to derive finite model property of such systems via the method of filtration.

Students should be able to argue about decidability of simple systems of modal logic by combining finite axiomatization and the finite model property of these systems.

Students are also expected to solve basic problems involving more complex modal systems such as PDL.
 

Onderwijsvormen

• Hoorcollege
• Werkcollege

Hoorcollege en werkcollege.
Lectures and tutorials.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

• Van elke student wordt actieve deelname verwacht aan het onderdeel waarvoor hij/zij staat ingeschreven.
• Als een student door overmacht niet aanwezig kan zijn bij een verplicht onderdeel van het onderdeel, dient hij/zij dit zo snel mogelijk schriftelijk te melden bij de betreffende docent. De docent kan dan, eventueel na overleg met de studieadviseur, besluiten om de student een vervangende opdracht op te leggen.
• Het is niet toegestaan om verplichte onderdelen van een onderdeel te missen als er geen sprake is van overmacht.
• Bij kwalitatief of kwantitatief onvoldoende deelname, kan de examinator de student uitsluiten van verdere deelname aan het onderdeel of een gedeelte daarvan.
• Bij alle onderwijseenheden van jaar 1 en 2 is een student verplicht bij minimaal 80% van de werkcolleges en tutoraten aanwezig te zijn. Bovendien moet worden deelgenomen aan eventuele tussentoetsen en verplicht gesteld huiswerk. Als niet aan deze verplichting is voldaan, wordt de student uitgesloten voor de herkansing van de onderwijseenheid.

Aanvullende eisen voor dit vak:

Toetsing

There will be 6 Homework sheets. There will be a midterm exam and also a final exam. The final grade consists 50% of the homework grade, 10% of the grade of the midterm exam and 40% of the grade of the final exam. The homework grade is split into 6 homework sheets weighing 100 points each.

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: www.uva.nl/plagiaat

Weekplanning

Rooster

Het rooster van dit vak is in te zien op DataNose.

Honoursinformatie

Op dit vak is geen honoursuitbreiding mogelijk.

Aanvullende informatie

Aanbevolen voorkennis: Kennis van de eerste orde logica (syntax en semantiek), en elementaire wiskundige kennis en vaardigheden.

Recommended prior knowledge: Knowledge of first order logic (syntax and semantics) and elementary mathematical knowledge and skills.

Contactinformatie

Coördinator

• N. Bezhanishvili

Instructors: Nick Bezhanishvili and Yde Venema, emails: N.Bezhanishvili[at]uva.nl and Y.Venema[at]uva.nl

Teaching assistants: Frederik Lauridsen , email: F.M.Lauridsen[at]uva.nl ; Gianluca Grilleti, email: grilletti.gianluca[at]gmail.com