1328 search results - page 3 / 266 » Cut-free common knowledge |
JAPLL
2007
13 years 5 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
CORR
1998
Springer
13 years 5 months ago
1998
Springer
: We consider the common-knowledge paradox raised in [HM90]: common knowledge is necessary for coordination, but common knowledge is unattainable in the real world because of tempo...
ECSCW
2007
13 years 7 months ago
2007
Abstract. We show that asynchronous collaboration can be made more effective by providing cues to common knowledge. We demonstrate this by empirically comparing two user interfaces...
INFORMATICALT
2006
13 years 5 months ago
2006
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...
TARK
2005
Springer
13 years 11 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...