Reasoning on Relations, Modalities, and Sets

Formisano A.

Omodeo E. G.

Policriti A.