Formal Semantics Meeting Notes 2023.01.30

Topic discussed:

Semantics of Permissions.

Semantics of Duty when it is used as a validity condition for Permissions.

Difference between the notion of Duty related to a Permission and the notion of obligation as in the MAS literature.

When a duty is not active, i.e. its constraint is not satisfied (for example pay 10 euro between January and June) it is not fulfilled, therefore it cannot make a permission valid, see example 22 in the Evaluator https://www.w3.org/2016/poe/wiki/Evaluator.

Future works: semantics of prohibitions and obligations.

Participants:

Nicoletta Fornara

Simon Steyskal

Beatriz Esteves

Soheil Roshanskish

Gabriel Huecas