Sciweavers

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
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
DAGSTUHL
2006
13 years 6 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven