Modal definability based on ukasiewicz validity relations

Abstract

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

0

Discussion (0)

Sign in to join the discussion.

Loading comments…