Conference paperA formal model of knowledge, action, and communication in distributed systems: Preliminary report