1328 search results - page 6 / 266 » Cut-free common knowledge |
JAPLL
2006
13 years 7 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
PSYCHNOLOGY
2007
13 years 7 months ago
2007
This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...
TARK
2005
Springer
14 years 1 months ago
2005
Springer
TARK
1992
Springer
13 years 12 months ago
1992
Springer
AIML
2006
13 years 9 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...