%0 Journal Article %1 journals/rml/Tanaka03 %A Tanaka, Yoshihito %D 2003 %J Reports Math. Log. %K dblp %P 79-100 %T Some Proof Systems for Common Knowledge Predicate. %U http://dblp.uni-trier.de/db/journals/rml/rml37.html#Tanaka03 %V 37

@article{journals/rml/Tanaka03, added-at = {2021-12-08T00:00:00.000+0100}, author = {Tanaka, Yoshihito}, biburl = {https://www.bibsonomy.org/bibtex/228d2a144bdcec212f3b95785c896d2df/dblp}, ee = {https://rml.tcs.uj.edu.pl/rml-37/a-tan-37.htm}, interhash = {031fdde31d2030943e1c014e5e756a95}, intrahash = {28d2a144bdcec212f3b95785c896d2df}, journal = {Reports Math. Log.}, keywords = {dblp}, pages = {79-100}, timestamp = {2024-04-09T02:15:42.000+0200}, title = {Some Proof Systems for Common Knowledge Predicate.}, url = {http://dblp.uni-trier.de/db/journals/rml/rml37.html#Tanaka03}, volume = 37, year = 2003 }