%0 Journal Article %1 journals/logcom/Witzel12 %A Witzel, Andreas %D 2012 %J J. Log. Comput. %K dblp %N 3 %P 405-416 %T Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#Witzel12 %V 22

@article{journals/logcom/Witzel12, added-at = {2012-06-19T00:00:00.000+0200}, author = {Witzel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2b34dfdc2199852d04ecbe26877d513f6/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exr010}, interhash = {d341039ad6283b186ed08f743018e414}, intrahash = {b34dfdc2199852d04ecbe26877d513f6}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {405-416}, timestamp = {2012-06-20T11:36:49.000+0200}, title = {Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#Witzel12}, volume = 22, year = 2012 }