@misc{indiciae260cc64b903e, title = {Neighbourhood completeness for quantified pretransitive modal logics}, author = {Andrey Kudinov}, year = {2021}, url = {https://arxiv.org/abs/2110.15714}, note = {Source identifier: 2110.15714} }