This is a preview. Log in through your library . Abstract We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea ...
In World War II’s most desperate months, the mathematician Alan Turing assembled a team of codebreakers to decrypt intercepted Nazi messages. He tested applicants with chess puzzles, hired a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback