Federated Logic Conference 2026 — Author Index (ARQNL)

ARQNL TALK AUTHOR INDEX

Shortcuts: A B C D F G I L O P R S Z

PROGRAM | AUTHORS

A
Aucher, Guillaume	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics
B
Benzmüller, Christoph	(ARQNL) ARQNL Opening (ARQNL) ARQNL Session 5: Embeddings and Benchmarks
C
Claßen, Jens	(ARQNL) ARQNL Session 4: Tableaux
D
Deakin, Jonte	(ARQNL) ARQNL Session 1: Modal Logics
F
Feener, Christopher	(ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Fernández-Duque, David	(ARQNL) ARQNL Invited Talk
G
Galmiche, Didier	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics
Grätz, Lukas	(ARQNL) ARQNL Session 4: Tableaux
I
Indrzejczak, Andrzej	(ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics
L
Larchey-Wendling, Dominique	(ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics
O
Otten, Jens	(ARQNL) ARQNL Session 5: Embeddings and Benchmarks
P
Petrukhin, Yaroslav	(ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics
R
Rybakov, Mikhail	(ARQNL) ARQNL Session 1: Modal Logics
S
Shkatov, Dmitry	(ARQNL) ARQNL Session 1: Modal Logics (ARQNL) ARQNL Session 3: Proof Theory and Substructural Logics (ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics (ARQNL) ARQNL Session 4: Tableaux (ARQNL) ARQNL Session 5: Embeddings and Benchmarks
Sochański, Michał	(ARQNL) ARQNL Session 2: Definite Descriptions and Free Logics
Z
Zhu, Rui	(ARQNL) ARQNL Session 4: Tableaux