Katolicki Uniwersytet Lubelski Jana Pawła II

Zastosowania logiki modalnej

Prezentacje

 

 

Katolicki Uniwersytet Lubelski Jana Pawła II

17 listopada 2009

 

 

Sesja I (prowadzenie – dr Anna Kozanecka-Dymek)

• Logika modalna a dowód ontologiczny – dr hab. Andrzej Biłat (WSPA w Lublinie) [prezentacja]
• Modalny rachunek nazw – dr hab. Eugeniusz Wojciechowski (UR w Krakowie) [prezentacja]
• Logiki tensalne a szczególna teoria względności – ks. dr Marcin Tkaczyk (KUL)

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

• Logika temporalna w informatyce – prof. dr hab. Kazimierz Trzęsicki (UwB) [prezentacja]
• Modalności w praktyce informatycznej – dr Piotr Kulicki (KUL) [prezentacja]
• Logika modalna w inżynierii ontologicznej – dr hab. Paweł Garbacz, dr Robert Trypuz (KUL)
• Zastosowanie systemów pośrednich między S4 a S5 w kontekstach epistemicznych - dr Marek Lechniak (KUL)[prezentacja]