Sciweavers

52 search results - page 1 / 11
» Common Belief with the Logic of Individual Belief
Sort
View
MLQ
2000
71views more  MLQ 2000»
13 years 4 months ago
Common Belief with the Logic of Individual Belief
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...
Giacomo Bonanno, Klaus Nehring
INFORMATICALT
2006
115views more  INFORMATICALT 2006»
13 years 4 months ago
Sequent Calculi for Temporal Logics of Common Knowledge and Belief
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...
Jurate Sakalauskaite
KES
2006
Springer
13 years 4 months ago
Building common awareness in agent organizations
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...
Ioannis Partsakoulakis, George A. Vouros
APAL
2005
117views more  APAL 2005»
13 years 4 months ago
About cut elimination for logics of common knowledge
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,...
Luca Alberucci, Gerhard Jäger
ATAL
2005
Springer
13 years 10 months ago
Individual beliefs and group acceptances within agent organizations
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...
Ioannis Partsakoulakis, George A. Vouros