%0 Conference Paper %1 conf/tark/Lipman94 %A Lipman, Barton L. %B TARK %D 1994 %E Fagin, Ronald %I Morgan Kaufmann %K dblp %P 182-196 %T An Axiomatic Approach to the Logical Omniscience Problem. %U http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94

@inproceedings{conf/tark/Lipman94, added-at = {2002-03-05T00:00:00.000+0100}, author = {Lipman, Barton L.}, biburl = {https://www.bibsonomy.org/bibtex/216afecb1384b984ff3735934f9160ad9/dblp}, booktitle = {TARK}, crossref = {conf/tark/1994}, date = {2002-03-05}, description = {dblp}, editor = {Fagin, Ronald}, interhash = {b76612bdf71278b90f9175b160e8061d}, intrahash = {16afecb1384b984ff3735934f9160ad9}, keywords = {dblp}, pages = {182-196}, publisher = {Morgan Kaufmann}, timestamp = {2002-03-05T00:00:00.000+0100}, title = {An Axiomatic Approach to the Logical Omniscience Problem.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark1994.html#Lipman94}, year = 1994 }