Article (Scientific journals)
Modal definability based on Łukasiewicz validity relations
Teheux, Bruno
2016In Studia Logica, 104 (2), p. 343-363
Peer reviewed
 

Files


Full Text
Goldblatt-Thomason-Final.pdf
Author postprint (491.57 kB)
Download
Full Text Parts
Goldblatt-Thomason-PUBLISHED.pdf
Publisher postprint (605.15 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
modal logic; many-valued logic; Łukasiewicz logic; Kripke semantics; modal definability; Goldblatt - Thomason theorem
Disciplines :
Mathematics
Author, co-author :
Teheux, Bruno ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
External co-authors :
no
Language :
English
Title :
Modal definability based on Łukasiewicz validity relations
Publication date :
2016
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Volume :
104
Issue :
2
Pages :
343-363
Peer reviewed :
Peer reviewed
Name of the research project :
R-AGR-0500-1 > MRO3 > 01/03/2015 - 31/03/2018 > MARICHAL Jean-Luc
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.
Available on ORBilu :
since 25 November 2015

Statistics


Number of views
111 (9 by Unilu)
Number of downloads
594 (3 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
2
OpenCitations
 
0
WoS citations
 
1

Bibliography


Similar publications



Contact ORBilu