%0 Journal Article %1 journals/logcom/DixonFW98 %A Dixon, Clare %A Fisher, Michael %A Wooldridge, Michael J. %D 1998 %J J. Log. Comput. %K dblp %N 3 %P 345-372 %T Resolution for Temporal Logics of Knowledge. %U http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#DixonFW98 %V 8

@article{journals/logcom/DixonFW98, added-at = {2019-10-19T00:00:00.000+0200}, author = {Dixon, Clare and Fisher, Michael and Wooldridge, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/29415b9f753efb5a8d43efb387d03cf85/dblp}, ee = {https://doi.org/10.1093/logcom/8.3.345}, interhash = {ef00d93b1be35982fdf24af99693b4f0}, intrahash = {9415b9f753efb5a8d43efb387d03cf85}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {345-372}, timestamp = {2019-10-22T13:08:18.000+0200}, title = {Resolution for Temporal Logics of Knowledge.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#DixonFW98}, volume = 8, year = 1998 }