TY  - RPRT
TI  - Neighbourhood completeness for quantified pretransitive modal logics
AU  - Andrey Kudinov
PY  - 2021
UR  - https://arxiv.org/abs/2110.15714
ID  - 2110.15714
ER  -