DECFOML PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:00 Session 1B
Chair:
Location: Ullmann 104
09:00 | Decidability Questions beyond Satisfiability for First-order Modal Logics (abstract) |
10:30-11:00Coffee Break
11:00-12:00 Session 10B
Chair:
Location: Ullmann 104
11:00 | Terminating sequent calculi for decidable fragments of FOML (abstract) |
12:10-12:40 Session 12A
Chair:
Location: Ullmann 104
12:10 | The Quantified Reflection Calculus as a Modal Logic (abstract) PRESENTER: Ana de Almeida Borges |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-14:30 Session 14D
Chair:
Location: Ullmann 104
14:00 | Forward Guarded Fragment: A tamed higher-arity extension of ALC (abstract) |
15:30-16:00Coffee Break
16:00-16:30 Session 19C
Chair:
Location: Ullmann 104
16:00 | Decidable Fragments of Term Modal Logic (abstract) |