Reference : Modal definability based on Łukasiewicz validity relations
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/10993/22536
Modal definability based on Łukasiewicz validity relations
English
Teheux, Bruno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
2016
Studia Logica
Springer
104
2
343-363
Yes
International
0039-3215
1572-8730
Berlin
Germany
[en] modal logic ; many-valued logic ; Łukasiewicz logic ; Kripke semantics ; modal definability ; Goldblatt - Thomason theorem
R-AGR-0500-1 > MRO3 > 01/03/2015 - 31/03/2018 > MARICHAL Jean-Luc
Researchers
http://hdl.handle.net/10993/22536
10.1007/s11225-015-9643-y
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.

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Goldblatt-Thomason-Final.pdfAuthor postprint480.05 kBView/Open
Limited access
Goldblatt-Thomason-PUBLISHED.pdfPublisher postprint590.97 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.