@misc{indiciae3c2c78cd3b74,
  title = {Tableaux Rules for Theories of Definite Descriptions in Positive Free Logic with Some Philosophical Remarks},
  author = {Nils Kürbis},
  year = {2026},
  doi = {10.4204/eptcs.455.7},
  url = {https://arxiv.org/abs/2610.40830},
  note = {Source identifier: 2610.40830}
}