The Way of the Agent Author ( s ) :

@inproceedings{Belnap2008TheWO,
  title={The Way of the Agent Author ( s ) :},
  author={Nuel Belnap and Michael Perloff},
  year={2008}
}
The conditional, if an agent did something, then the agent could have done otherwise, is analyzed using stit theory, which is a logic of "seeing to it that" based on agents making choices in the context of branching time. The truth of the conditional is found to be a subtle matter that depends on how it is interpreted (e.g., on what "otherwise" refers to, and on the difference between "could" and "might") and also on whether or not there are "busy choosers" that can make infinitely many choices… CONTINUE READING

3 Figures & Tables