@misc{indiciaec5fdffb6c643, title = {First-Order Modal Logic: Frame Definability and Lindström Theorems}, author = {Reihane Zoghifard and Massoud Pourmahdian}, year = {2016}, url = {https://arxiv.org/abs/1602.00201}, note = {Source identifier: 1602.00201} }