\input zb-basic
\input zb-ioport
\iteman{io-port 04135904}
\itemau{P\"orn, Ingmar}
\itemti{On the nature of a social order.}
\itemso{Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 553-567 (1989).}
\itemab
[For the entire collection see Zbl 0676.00003.] Systems of modal logic of action, control, influence, and normative regulation are presented. Whether simple or combined, the systems are based on components with the structure of Feys-von Wright's T(M) or its deontic counterpart. Among the operators treated are `it is necessary for something which a does that p', `but for a's action it would be the case that p', `a brings it about that p', `a lets it be the case that p', `p is an action necessity for a which is independent of his action', `it is unavoidable for a that p', `shall', `may', two senses of `ought', and the duals of many of these. Following S.Kanger, the author uses combinations of these operators to give systematic accounts of the possible relations between two parties.
\itemrv{J.Bacon}
\itemcc{}
\itemut{deontic logic; modal logic; action; control; influence; normative regulation; possible relations between two parties}
\itemli{}
\end