Modal definability based on {\L}ukasiewicz validity relations
Logic
2015-11-26 v2
Abstract
We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these notions of definability.
Keywords
Cite
@article{arxiv.1502.03299,
title = {Modal definability based on {\L}ukasiewicz validity relations},
author = {Bruno Teheux},
journal= {arXiv preprint arXiv:1502.03299},
year = {2015}
}