Rohit Parikh Ramaswamy Ramanujam A Knowledge Based Semantics of Messages. 453-467 2003 12 Journal of Logic, Language and Information 4 http://dx.doi.org/10.1023/A:1025007018583 db/journals/jolli/jolli12.html#ParikhR03