WHAT OUGHT TO BE DONE FOR IMPERATIVE LOGIC
This paper presents the logical treatment of imperatives (commands and promises) regarded as actions one rational agent performs in order to compel the other rational agent, by imposing certain obligations on her, to act in a certain way. To talk about the embedded stit-formulas that represent such imperative actions the framework of stit-logic supplied with the ⃝-operator, as it is introduced by J. Horty, is used. We investigate some curious technical details of using the ⃝-operator ranging
... operator ranging over the set of agents along with different stit-operators and suggest formulas picturing some properties typical for the usage of commands and promises. We establish several theorems and propositions expressing essential principles of imperative agency and show that these principles differ substantially from their analogs in propositional logic and standard deontic logic (SDL). Finally, we briefly discuss the possibilities of further investigation that embodies such issues as expressing the imperative permission and prevalent embedded imperatives in the given framework.