Logika i historia logiki
Transkrypt
Logika i historia logiki
Program Szczegółowy Zjazdu – Dzień Trzeci Logika i historia logiki SALA Gamma Prowadzący obrady: Andrzej Wiśniewski 11.30–12.00 12.00–12.30 13.30–14.00 Andrzej Indrzejczak, Hipersekwentowa formalizacja logik czasu liniowego Robert Trypuz, Piotr Kulicki, Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy Janusz Ciuciura, Parakonsystentny stos Andrzej Pietruszczak, O tezach bez iterowanych modalności logik znajdujących się pomiędzy S0.5o a S5 Kaja Bednarska, Ogólna metoda eliminacji reguły cięcia dla logiki S5 14.00–16.00 przerwa obiadowa 12.30–13.00 13.00–13.30 Prowadzący obrady: Andrzej Wiśniewski 16.00–16.30 16.30–17.00 17.00–17.30 17.30–18.00 102 Urszula Wybraniec-Skardowska, Logika i sens Hubert Jastrzębski, Szymon Chlebowski, Rachunek sekwentów dla pewnych logik niefregowskich Janusz Wesserling, Trójwartościowa logika przekonań LB3 – ujęcie semantyczne Paweł Modrzejewski, Logiki pamięci – przegląd