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