Abstract In recent years they have been numerous works that aim to automate relational verification. Meanwhile, although Constrained Horn Clauses ( $$\mathrm {CHCs}$$ CHCs ) empower a wide range of verification techniques and tools, lack the ability express hyperproperties beyond k -safety such as generalized...

The article deals with Hurka?s critique of Kymlicka and Arneson?s Dworkin on endorsement constraint thesis, according to which a person cannot have valuable life if values are imposed her - primarily by state action overriding preferences convictions the good life. This thesis has often been identified neutral liberalism counterposed perfectionism. text argues against argument that mild coercio...