Zastosowania logiki modalnej

Program konferencji

 

 

Katolicki Uniwersytet Lubelski Jana Pawła II

17 listopada 2009 (wtorek), sala 208

 

 

Sesja I (prowadzenie – dr Anna Kozanecka-Dymek)

  • 09:45 Otwarcie konferencji – Dziekan Wydziału Filozofii KUL
    Słowo wstępne – prof. dr hab. Stanisław Kiczuk (KUL)
  • 10:00 Logika modalna a dowód ontologiczny – dr hab. Andrzej Biłat (WSPA w Lublinie) [abstrakt wystąpienia]
    • 11:00 Przerwa na kawę
  • 11:15 Modalny rachunek nazw – dr hab. Eugeniusz Wojciechowski (UR w Krakowie) [abstrakt wystąpienia
  • 12:15 Logiki tensalne a szczególna teoria względności – ks. dr Marcin Tkaczyk (KUL) [abstrakt wystąpienia]
    • 12:45 – 14:00 Przerwa obiadowa


Sesja II (prowadzenie – ks. dr M. Tkaczyk)

  • 14:00 Logika temporalna w informatyce – prof. dr hab. Kazimierz Trzęsicki (UwB) [abstrakt wystąpienia]
  • 15:00 Modalności w praktyce informatycznej – dr Piotr Kulicki (KUL) [abstrakt wystąpienia]
    • 15:30 Przerwa na kawę
  • 15:45 Logika modalna w inżynierii ontologicznej – dr hab. Paweł Garbacz, dr Robert Trypuz (KUL)
  • 16:15 Zastosowanie systemów pośrednich między S4 a S5 w kontekstach epistemicznych - dr Marek Lechniak (KUL)
    • 16:45 – Zakończenie konferencji

 

 

 

 

 

prezentacja
Autor: Andrzej Zykubek
Ostatnia aktualizacja: 16.11.2015, godz. 16:45 - Andrzej Zykubek