ARQNL — PROGRAM FOR FRIDAY, 24 JULY 2026
Days:
all days
Friday, 24 July 2026
Location:
C4.01
| 08:55-09:00 |
Opening of the ARQNL Workshop (abstract) 5 min
1 University of Bamberg
2 University of Pernambuco
3 University of Groningen
|
Location:
C4.01
| 09:00-09:50 |
Decidable Non-Classical Analogues of Linear Temporal Logic (abstract) 50 min
1 University of Barcelona
|
Session Chair:
Location:
C4.01
| 09:50-10:10 |
Algorithmic Properties of First-Order Modal Logics of Some Classes of Trees (abstract) 20 min
1 Higher School of Modern Mathematics
2 University of the Witwatersrand, Johannesburg
3 HSE University, Moscow
|
| 10:10-10:30 |
Interpolation Calculi for Modal Logics (abstract) 20 min
1 The Australian National University
2 University of Brasília
|
Session Chair:
Location:
C4.01
| 11:00-11:20 |
The Logic of Bunched Implications is Undecidable, Mechanized in Rocq (abstract) 20 min
1 Université de Lorraine, CNRS, LORIA
|
| 11:20-11:40 |
Beth Semantics and Tableaux for Bi-Intuitionistic Bunched Implications (abstract) 20 min
1 Université de Lorraine, CNRS, LORIA
|
| 11:40-12:00 |
Number Systems and Hilbert Calculi for Atomic Logics (abstract) 20 min
1 University of Rennes
|
Session Chair:
Location:
C4.01
| 13:30-13:50 |
Second-order Positive Free Logic with Second-order Definite Descriptions (abstract) 20 min
1 University of Lodz
|
| 13:50-14:10 |
Sequent Calculus for Negative Free Logic of Classes (abstract) 20 min
1 University of Lodz
|
| 14:10-14:30 |
A Paradefinite Version of Russellian Theory of Definite Descriptions (abstract) 20 min
1 University of Lodz
|
| 14:30-14:45 |
Python-Based Reasoner for Description Logic with Definite Descriptions (abstract) 15 min
1 University of Lodz
2 Queen Mary University of London
|
Session Chair:
Location:
C4.01
| 15:10-15:30 |
A Sound and Weakly Complete Tableau System for Social Announcement Logic (abstract) 20 min
1 University of Auckland
|
| 15:30-15:50 |
A Tableau System for First-Order Epistemic Logic with Standard Names (abstract) 20 min
1 Roskilde University
|
| 15:50-16:10 |
Towards Quantified Dependent Assertion Logic (abstract) 20 min
1 Technical University Darmstadt
|
Session Chair:
Location:
C4.01
| 16:40-16:55 |
Embedding Deontic Logic Operators from a Large Ontology in Higher-order Logic (abstract) 15 min
1 Naval Postgraduate School
|
| 16:55-17:15 |
First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (abstract) 20 min
1 University of Bamberg
2 Freie Universität Berlin
|
| 17:15-17:30 |
Generating Random Benchmark Problems for the First-Order Logic of Here-and-There (abstract) 15 min
1 University of Pernambuco
|