TY  - RPRT
TI  - Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
AU  - Alessandro Artale
AU  - Christopher Hampson
AU  - Roman Kontchakov
AU  - Andrea Mazzullo
AU  - Frank Wolter
PY  - 2025
UR  - https://arxiv.org/abs/2509.08165
ID  - 2509.08165
ER  -