Time, knowledge, and choice

This publication has 20 references indexed in Scilit:

• What can machines know?
  Journal of the ACM, 1992
• A guide to completeness and complexity for modal logics of knowledge and belief
  Artificial Intelligence, 1992
• The way of the agent
  Studia Logica, 1992
• Backwards and Forwards in the Modal Logic of Agency
  Philosophy and Phenomenological Research, 1991
• Before refraining: Concepts for agency
  Erkenntnis, 1991
• Intention is choice with commitment
  Artificial Intelligence, 1990
• Seeing to it that: a canonical form for agentives
  Theoria, 1988
• Using Reasoning About Knowledge to Analyze Distributed Systems
  Annual Review of Computer Science, 1987
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980