ARQNL — PROGRAM

Days: Friday, 24 July 2026

Friday, 24 July 2026
08:55-09:00 ARQNL Opening ARQNL
Location: C4.01
08:55-09:00
Opening of the ARQNL Workshop (abstract) 5 min
Jens Otten1
1 .
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-Duque1
1 .
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 Shkatov1, Mikhail Rybakov1
1 .
10:10-10:30
Interpolation Calculi for Modal Logics (abstract) 20 min
Jonte Deakin1, Dirk Pattinson1, Cláudia Nalon1
1 .
10:00-11:00 Coffee Break ARQNL
Location: C4.01
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 Indrzejczak1
1 .
11:20-11:40
Second-order Positive Free Logic with Second-order Definite Descriptions (abstract) 20 min
Yaroslav Petrukhin1
1 .
11:40-11:55
Python-Based Reasoner for Description Logic with Definite Descriptions (abstract) 15 min
Michał Sochański1, Przemysław Wałęga1, Michał Zawidzki1
1 .
11:55-12:15
A Paradefinite Version of Russellian Theory of Definite Descriptions (abstract) 20 min
Yaroslav Petrukhin1
1 .
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
14:50-15:10 Coffee Break (II) ARQNL
15:10-16:10 ARQNL Session 4: Tableaux ARQNL
Location: C4.01
15:30-16:30 Coffee Break ARQNL
Location: C4.01
16:10-16:40 Coffee Break (III) ARQNL
16:40-17:30 ARQNL Session 5: Embeddings and Benchmarks ARQNL
Location: C4.01
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑