FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

B
bundled fragment	Are Bundles Good Deals for FOML?
C
complexity	Forward Guarded Fragment: A tamed higher-arity extension of ALC
D
decidability	Decidability Questions beyond Satisfiability for First-order Modal Logics Are Bundles Good Deals for FOML? The Quantified Reflection Calculus as a Modal Logic Decidable Fragments of Term Modal Logic
definability	Decidability Questions beyond Satisfiability for First-order Modal Logics
Description Logic	Forward Guarded Fragment: A tamed higher-arity extension of ALC
F
first-order modal logic	Decidability Questions beyond Satisfiability for First-order Modal Logics Are Bundles Good Deals for FOML? Terminating sequent calculi for decidable fragments of FOML
fluted fragment	From Modal Logic to Fluted logic
G
guarded fragment	From Modal Logic to Fluted logic Forward Guarded Fragment: A tamed higher-arity extension of ALC
M
modal logic	From Modal Logic to Fluted logic The Quantified Reflection Calculus as a Modal Logic
P
proof theory	Terminating sequent calculi for decidable fragments of FOML
Q
quantified reflection calculus	The Quantified Reflection Calculus as a Modal Logic
S
Sequent Calculus	Terminating sequent calculi for decidable fragments of FOML
T
Tableaux	Are Bundles Good Deals for FOML?
term modal logic	Decidable Fragments of Term Modal Logic
two-variable fragment	Decidable Fragments of Term Modal Logic

Disclaimer | Powered by EasyChair Smart Program