1328 search results - page 6 / 266 » Cut-free common knowledge |
129
click to vote
JAPLL
2006
15 years 5 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...
119
click to vote
PSYCHNOLOGY
2007
15 years 4 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 ...
139
Voted
AIML
2006
15 years 6 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...