There was an error while loading. Please reload this page.

I've updated the various quantifiers, this time introducing the base set as a parameter. The sorting of the values of the monotone measures present in each quantifier is done in the definition of the ...

Terms and formulas in LP can contain existential and universal first-order quantifiers. Examples: ...