52 search results - page 11 / 11 » Common Belief with the Logic of Individual Belief |
JUCS
2006
13 years 5 months ago
2006
: Everyone realizes how powerful the few big Web search engine companies have become, both in terms of financial resources due to soaring stock quotes and in terms of the still hid...
LOGCOM
2010
13 years 4 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...