Sentence examples for logic of action from inspiring English sources

Related work, but not a logic of action in the strict sense, concerns the logical treatment of collective intentions (Keplicz and Verbrugge 2002).

The logic of action began in philosophy.

This methodology is based on the logic of action research.

The logic of action plays an important role in computer science.

The logic of action is the formal study of action in which formal languages are the main tool of analysis.

But it is in the logic of action that action is studied in the most abstract way.

We represent specifications graphically using the Temporal Logic of Actions, a logic that models system behaviour by sequences of states.

The language we define to specify permissions and obligations in security policies is based on deontic logic of actions.

The specification and verification technique applied is based on L. Lamport's temporal logic of actions (TLA).

The model, that we propose to describe attack scenarios, is based on a formalism inspired from Investigation-based Temporal Logic of Actions [8].

The frame problem is concerned with how to formalise the logic of actions and events so that indefinitely many inferences of this kind are made available without our having to encode them all explicitly.