The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief ope...
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...
Groups of collaborative agents within organizations need to achieve goals creating group awareness. This is necessary for groups to act as single entities. The notion of collective...
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Groups of collaborative agents within organizations need to create group awareness in order to act as a single entity. The notion of collective belief, which has been used extensi...