ARQNL — PROGRAM FOR FRIDAY, 24 JULY 2026
Days:
all days
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
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
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
1 .
|
| 10:10-10:30 |
Interpolation Calculi for Modal Logics (abstract) 20 min
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
1 .
|
| 11:20-11:40 |
Second-order Positive Free Logic with Second-order Definite Descriptions (abstract) 20 min
1 .
|
| 11:40-11:55 |
Python-Based Reasoner for Description Logic with Definite Descriptions (abstract) 15 min
1 .
|
| 11:55-12:15 |
A Paradefinite Version of Russellian Theory of Definite Descriptions (abstract) 20 min
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