A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators "next" and "until". In addition the first logic contains an indexed set of unary modal operators "agent i knows", the second one contains an indexed set of unary modal operators "agent i believes". Also the first logic contains the modality of common knowledge and the second one contains the modality of commondoi:10.15388/informatica.2006.125 fatcat:3gtmjfx5nbfu7nsglgqs5fgane