2026
From Unified Correspondence to Parametric Correspondence
A research program aimed at establishing systematic connections among the first-order correspondents of Sahlqvist/inductive formulas/inequalities across various relational semantic settings is discussed.
A. Palmigiano
· CI-BD-SOQE@FLoC · 0 citations