The Relationship Between Propositions and Actions

I think that there is definitely a more precise way to, to lay out the argument. And I think that that's a real advantage of some of the developments that we've had with modal logic and working out the logic of various different modalities. So let's go ahead and start by thinking about how we can relate propositions to actions. Why don't we go ahead and stipulate that for any action a performed by any agent s at any time t? There is a corresponding proposition P where P is just the proposition that S performs a at T.