Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic

We provide a rough sets semantics for the three-valued extension of first-order Priest’s da Costa logic, which we studied in [Castiglioni, J.L. and Ertola-Biraben, R.C. Modalities combining two negations. {\em Journal of Logic and Computation} 11:341–356, 2024]. This semantics follows the usual pattern of the semantics for first-order classical logic.