Epistemic logics, called also logics of knowledge, are formal logical systems which build on the ideas of modal logics and and allow describing states of agents' knowledge and reasoning about them. States of knowledge described in such a way are static -- to our understanding, before 1989 such logics were not capable of describing how the knowledge changes as a result of communications among agents. To deal with the changes in knowledge resulting from communications among agents we introduced, logics of knowledge and communications. Applications of these systems include reasoning about knowledge in AI and proofs of equivalence or correctness of computer communication protocols.
Different logical systems can be defined depending on the properties of agents and communication methods they use. In the first paper we considered, what we called public communications, but what is now commonly called public announcements (or broadcasts). We considered propositional languages and provided both semantics and a sound and complete axiomatization. Please use the following link to the paper.
 |
J. A. Plaza, Logics of Public Communications, in: M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, Z. W. Ras (Eds.), Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, Publisher: Oak Ridge National Laboratory, ORNL/DSRD-24, 1989, pp. 201-216. |
|
Logic of Semi-Public Communications (unpublished) |
|
Logics of Knowledge and Communications (unpublished) |
TARK proceedings: http://www.tark.org