Title : Modal definability based on Łukasiewicz validity relations
Language : English
Author, co-author : Teheux, Bruno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Publication date : 2016
Journal title : Studia Logica
Publisher : Springer
Volume : 104
Issue/season : 2
Pages : 343-363
Peer reviewed : Yes
Audience : International
ISSN : 0039-3215
e-ISSN : 1572-8730
City : Berlin
Country : Germany
Keywords : [en] modal logic ; many-valued logic ; Łukasiewicz logic ; Kripke semantics ; modal definability ; Goldblatt - Thomason theorem
Name of the research project : R-AGR-0500-1 > MRO3 > 01/03/2015 - 31/03/2018 > MARICHAL Jean-Luc
Target : Researchers
Permalink : http://hdl.handle.net/10993/22536
DOI : 10.1007/s11225-015-9643-y
Commentary : 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.