Formal Semantics Meeting Notes 2023.06.12

Topic discussed:

Rephrase paragraph 1

The difference between constraint and refinement raised two questions:

- When the duty of a permission P1 is not active (or it is inactive) (this means that its activation condition is not satisfied), can P1 be active?

- Are the activation condition (constraint) and refinement different only when evaluated according to the historical evolution of the system?

Future works: semantics of prohibitions and obligations. Victor will write those sections.

Participants:

Nicoletta Fornara

Beatriz Esteves

Gabriel Huecas

Benedict Whittam Smith

Inès Akaichi

Víctor Rodríguez Doncel