A Stit Logic of Intentionality.

We extend epistemic stit theory with a modality , meant to express that at some moment agent had a present-directed intention toward the realization of . The semantics is based on the extension of stit frames with special topologies associated to agents. The open sets of the associated topology are interpreted as present-directed intentions, that support whether an agent had an intention of realizing a specific state of affairs when it chose one of its available actions and executed it. As an important application, we use to formalize intentional action and intentional responsibility. We present an axiom system for our logic of intentionality, and prove that it is sound and complete.