TY  - RPRT
TI  - Simple Axioms for Local Properties
AU  - Philippe Balbiani
AU  - Wiebe van der Hoek
AU  - Louwe B. Kuijer
PY  - 2023
DO  - 10.4204/eptcs.379.9
UR  - https://arxiv.org/abs/2307.05040
ID  - 2307.05040
ER  -