FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Bednarczyk, Bartosz	Forward Guarded Fragment: A tamed higher-arity extension of ALC
D
de Almeida Borges, Ana	The Quantified Reflection Calculus as a Modal Logic
J
Joosten, Joost J.	The Quantified Reflection Calculus as a Modal Logic
L
Liu, Mo	Are Bundles Good Deals for FOML?
O
Orlandelli, Eugenio	Terminating sequent calculi for decidable fragments of FOML
P
Padmanabha, Anantha	Decidable Fragments of Term Modal Logic
Pratt-Hartman, Ian	From Modal Logic to Fluted logic
W
Wolter, Frank	Decidability Questions beyond Satisfiability for First-order Modal Logics

Disclaimer | Powered by EasyChair Smart Program