Federated Logic Conference 2026 — ARQNL

08:55-09:00 ARQNL Opening ARQNL

Location: C4.01

08:55-09:00

Opening of the ARQNL Workshop (abstract) 5 min

¹ .

09:00-09:50 ARQNL Invited Talk ARQNL

Location: C4.01

09:00-09:50

Decidable Non-Classical Analogues of Linear Temporal Logic (abstract) 50 min

David Fernández-Duque¹

¹ .

09:50-10:30 ARQNL Session 1: Modal Logics ARQNL

Location: C4.01

09:50-10:10	Algorithmic Properties of First-Order Modal Logics of Some Classes of Trees (abstract) 20 min Dmitry Shkatov¹, Mikhail Rybakov¹ ¹ .
10:10-10:30	Interpolation Calculi for Modal Logics (abstract) 20 min Jonte Deakin¹, Dirk Pattinson¹, Cláudia Nalon¹ ¹ .

10:30-11:00 Coffee Break (I) ARQNL

11:00-12:15 ARQNL Session 2: Definite Descriptions and Free Logics ARQNL

Location: C4.01

11:00-11:20	Sequent Calculus for Negative Free Logic of Classes (abstract) 20 min Andrzej Indrzejczak¹ ¹ .
11:20-11:40	Second-order Positive Free Logic with Second-order Definite Descriptions (abstract) 20 min Yaroslav Petrukhin¹ ¹ .
11:40-11:55	Python-Based Reasoner for Description Logic with Definite Descriptions (abstract) 15 min Michał Sochański¹, Przemysław Wałęga¹, Michał Zawidzki¹ ¹ .
11:55-12:15	A Paradefinite Version of Russellian Theory of Definite Descriptions (abstract) 20 min Yaroslav Petrukhin¹ ¹ .

12:15-13:30 Lunch ARQNL

Location: C4.01

13:30-14:50 ARQNL Session 3: Proof Theory and Substructural Logics ARQNL

Location: C4.01

13:30-13:50	Cut-Elimination in Probabilized Unranked Sequent Calculus (abstract) 20 min Mikheil Rukhaia¹, Merium Hazem¹, Lia Kurtanidze¹, Lali Tibua¹ ¹ .
13:50-14:10	The Logic of Bunched Implications is Undecidable, Mechanized in Rocq (abstract) 20 min Dominique Larchey-Wendling¹ ¹ .
14:10-14:30	Beth Semantics and Tableaux for Bi-Intuitionistic Bunched Implications (abstract) 20 min Didier Galmiche¹, Benjamin Izart¹, Daniel Mery¹ ¹ .

14:50-15:10 Coffee Break (II) ARQNL

15:10-16:10 ARQNL Session 4: Tableaux ARQNL

Location: C4.01

15:10-15:30	A Sound and Weakly Complete Tableau System for Social Announcement Logic (abstract) 20 min Rui Zhu¹ ¹ .
15:30-15:50	A Tableau System for First-Order Epistemic Logic with Standard Names (abstract) 20 min Jens Classen¹, Torben Braüner¹ ¹ .
15:50-16:10	Towards Quantified Dependent Assertion Logic (abstract) 20 min Lukas Grätz¹ ¹ .

16:10-16:40 Coffee Break (III) ARQNL

16:40-17:30 ARQNL Session 5: Embeddings and Benchmarks ARQNL

Location: C4.01

16:40-16:55	Embedding Deontic Logic Operators from a Large Ontology in Higher-order Logic (abstract) 15 min Christopher Feener¹, Adam Pease¹, Richard Thompson¹ ¹ .
16:55-17:15	First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (abstract) 20 min Christoph Benzmüller¹, Daniel Kirchner¹ ¹ .
17:15-17:30	Generating Random Benchmark Problems for the First-Order Logic of Here-and-There (abstract) 15 min Jens Otten¹ ¹ .