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