@misc{indiciae2cb683d9eb12, title = {First-order logic with incomplete information}, author = {Antti Kuusisto}, year = {2019}, url = {https://arxiv.org/abs/1703.03391}, note = {Source identifier: 1703.03391} }