%0 Conference Paper %1 conf/tark/FaginHV90 %A Fagin, Ronald %A Halpern, Joseph Y. %A Vardi, Moshe Y. %B TARK %D 1990 %E Parikh, Rohit %I Morgan Kaufmann %K dblp %P 41-55 %T A Nonstandard Approach to the Logical Omniscience Problem. %U http://dblp.uni-trier.de/db/conf/tark/tark1990.html#FaginHV90 %@ 1-55860-105-8

@inproceedings{conf/tark/FaginHV90, added-at = {2002-03-07T00:00:00.000+0100}, author = {Fagin, Ronald and Halpern, Joseph Y. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/24301e3c2cd8c820d46b15a5237492f83/dblp}, booktitle = {TARK}, crossref = {conf/tark/1990}, editor = {Parikh, Rohit}, interhash = {c3d79b9107ebef1e862e41e1ef0b818c}, intrahash = {4301e3c2cd8c820d46b15a5237492f83}, isbn = {1-55860-105-8}, keywords = {dblp}, pages = {41-55}, publisher = {Morgan Kaufmann}, timestamp = {2018-06-22T11:44:53.000+0200}, title = {A Nonstandard Approach to the Logical Omniscience Problem.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark1990.html#FaginHV90}, year = 1990 }