A Logical Analysis of the Interaction between `Obligation-to-do΄ and `Knowingly Doing΄.

Within a STIT framework, this paper presents a logical study of the interaction between `ought-to-do΄, and an epistemic notion of `knowingly doing΄. We start out with some motivating examples concerning the interaction between action, obligation and knowledge. Then we present a complete temporal STIT logic including operators for action, obligation and knowledge. We use the logic to analyze the examples and discuss open problems. [ABSTRACT FROM AUTHOR]