@misc{indiciae28d92fa43fd2,
  title = {Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP},
  author = {Sophie Nagler},
  year = {2026},
  url = {https://arxiv.org/abs/2608.02654},
  note = {Source identifier: 2608.02654}
}