talkSyntax and Semantics of QPL

Talk at the internal seminar for the ARIA 'Safeguarded AI' programme. A follow up of last year's preprint on quantifiers for quantitative reasoning.