Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. A Nonstandard Approach to the Logical Omniscience Problem. Artificial Intelligence, 79(2):203-240, 1995. [doi]
@article{FaginHV95, title = {A Nonstandard Approach to the Logical Omniscience Problem}, author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi}, year = {1995}, doi = {10.1016/0004-3702(94)00060-3}, url = {http://dx.doi.org/10.1016/0004-3702(94)00060-3}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/FaginHV95}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {79}, number = {2}, pages = {203-240}, }