FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
Location: Ullmann 104
09:00
Decidability Questions beyond Satisfiability for First-order Modal Logics (abstract)
10:00-10:30 Session 6
Location: Ullmann 104
10:00
Are Bundles Good Deals for FOML? (abstract)
10:30-11:00Coffee Break
11:00-12:00 Session 10B
Location: Ullmann 104
11:00
Terminating sequent calculi for decidable fragments of FOML (abstract)
12:10-12:40 Session 12A
Location: Ullmann 104
12:10
The Quantified Reflection Calculus as a Modal Logic (abstract)
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
Location: Ullmann 104
14:00
Forward Guarded Fragment: A tamed higher-arity extension of ALC (abstract)
14:30-15:30 Session 15A
Location: Ullmann 104
14:30
From Modal Logic to Fluted logic (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 19C
Location: Ullmann 104
16:00
Decidable Fragments of Term Modal Logic (abstract)