FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
DECFOML2022 PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:10-10:10 Session 2
09:10
Decidability Questions beyond Satisfiability for First-order Modal Logics (abstract)
10:30-11:00Coffee Break
10:30-11:30 Session 6B
10:30
From Modal Logic to Fluted logic (abstract)
11:40-12:10 Session 8
11:40
Are Bundles Good Deals for FOML? (abstract)
12:10-12:40 Session 9
12:10
The Quantified Reflection Calculus as a Modal Logic (abstract)
12:30-14:00Lunch Break
14:00-14:30 Session 11C
14:00
Forward Guarded Fragment: A tamed higher-arity extension of ALC (abstract)
14:30-15:00 Session 12
14:30
Decidable Fragments of Term Modal Logic (abstract)
15:20-16:20 Session 14
15:20
Terminating sequent calculi for decidable fragments of FOML (abstract)
15:30-16:00Coffee Break