Modal Definability Based on Aukasiewicz Validity Relations

摘要

We study two notions of definability for classes of relational structures based on modal extensions of Aukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt-Thomason theorem for these notions of definability.