SP: Logiki czasu rozgałęzionego WF-FI-212-SPSWIET26

W ramach zajęć będą badane temporalne semantyki drzew nieskończonych, skończenie i nieskończenie rozgałęziających się. Dla tych semantyk będą wyznaczane różne temporalne logiki zdaniowe typu peircjańskiego i ockhamistycznego, dla których można sformułować nieskończone systemy dedukcyjne. Centrum badań będą stanowiły próby konstrukcji twierdzeń o silnej pełności dla uzyskanych systemów.

E-Learning

E-Learning (pełny kurs) z podziałem na grupy

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Koordynatorzy przedmiotu

Kordula Świętorzecka

Poziom przedmiotu

zaawansowany

Symbol/Symbole kierunkowe efektów uczenia się

FI2_W04; FI2_W09; FI2_U03; FI2_U05; FI2_K02; FI2_K04

Typ przedmiotu

obowiązkowy

Wymagania wstępne

Uczestnicy seminarium powinni ukończyć kurs logiki na pierwszym roku studiów filozoficznych oraz kurs metalogiki. Aby w pełni korzystać z proponowanego seminarium pożądana jest także wiedza z zakresu teorii modeli logik temporalnych oraz wiedza na temat nieskończonych systemów dowodzeniowych.

Kryteria oceniania

Każdy student dostanie w semestrze do udowodnienia dwa twierdzenia z zakresu metalogiki systemów temporalnych. Jego zadaniem będzie przygotowanie prezentacji, w której zaprezentuje szczegóły tych dowodów. Prezentację tę należy przedstawić w umówionym terminie na seminarium. Przedmiotem oceny będzie materiał prezentowany, poprawność dowodów oraz samodzielna prezentacja.

Praktyki zawodowe

Nie dotyczy

Literatura

1. R. Goldblatt. Logics of Time and Computation. CSLI, 2 edition, 1992.
2. R. Goldblatt. Mathematics of Modality. CSLI, 1 edition, 1993.
3. K. Segerberg. A model existence theorem in infinitary propositional modal logic. Journal of Philosophical Logic, 23(4):337–367, 1994.
4. G. Sundholm. A completeness proof for an infinitary tense logic. Theoria, 43:44–51
5. Matt Farr. Branching-time and indeterminacy. Synthese, 188(1):85–116, 2012

W cyklu 2026/27_Z:

1. R. Goldblatt. Logics of Time and Computation. CSLI, 2 edition, 1992.
2. R. Goldblatt. Mathematics of Modality. CSLI, 1 edition, 1993.
3. K. Segerberg. A model existence theorem in infinitary propositional modal logic. Journal of Philosophical Logic, 23(4):337–367, 1994.
4. G. Sundholm. A completeness proof for an infinitary tense logic. Theoria, 43:44–51.
5. Matt Farr. Branching-time and indeterminacy. Synthese, 188(1):85–116, 2012.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WF-FI-212-SPSWIET26 w USOSweb