Modal definability based on Łukasiewicz validity relations

Reference : Modal definability based on Łukasiewicz validity relations


	Document type :	Scientific journals : Article
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics
	To cite this reference:	http://hdl.handle.net/10993/22536

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.

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Goldblatt-Thomason-Final.pdf		Author postprint	480.05 kB	View/Open
Limited access	Goldblatt-Thomason-PUBLISHED.pdf		Publisher postprint	590.97 kB	Request a copy

All documents in ORBi^lu are protected by a user license.