A minor change to the standard epistemic logical language, replacing Ki with K〈i,t〉 where t is a time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We investigate the communication structures that are necessary for such generalized epistemic states to arise, and the inter-agent coordination tasks that require such knowledge. Previous...

In this paper energy bands and Berry curvature of graphene was studied. Desired Hamiltonian regarding the next-nearest neighbors obtained by tight binding model. By using the second quantization approach, the transformation matrix is calculated and the Hamiltonian of system is diagonalized. With this Hamiltonian, the band structure and wave function can be calculated. By using calculated wave f...