Article (Périodiques scientifiques)
Modal definability based on Łukasiewicz validity relations
TEHEUX, Bruno
2016In Studia Logica, 104 (2), p. 343-363
Peer reviewed
 

Documents


Texte intégral
Goldblatt-Thomason-Final.pdf
Postprint Auteur (491.57 kB)
Télécharger
Parties de texte intégral
Goldblatt-Thomason-PUBLISHED.pdf
Postprint Éditeur (605.15 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers



Détails



Mots-clés :
modal logic; many-valued logic; Łukasiewicz logic; Kripke semantics; modal definability; Goldblatt - Thomason theorem
Disciplines :
Mathématiques
Auteur, co-auteur :
TEHEUX, Bruno ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Modal definability based on Łukasiewicz validity relations
Date de publication/diffusion :
2016
Titre du périodique :
Studia Logica
ISSN :
0039-3215
eISSN :
1572-8730
Maison d'édition :
Springer, Berlin, Allemagne
Volume/Tome :
104
Fascicule/Saison :
2
Pagination :
343-363
Peer reviewed :
Peer reviewed
Intitulé du projet de recherche :
R-AGR-0500-1 > MRO3 > 01/03/2015 - 31/03/2018 > MARICHAL Jean-Luc
Commentaire :
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.
Disponible sur ORBilu :
depuis le 25 novembre 2015

Statistiques


Nombre de vues
168 (dont 10 Unilu)
Nombre de téléchargements
624 (dont 3 Unilu)

citations Scopus®
 
2
citations Scopus®
sans auto-citations
2
OpenCitations
 
0
citations OpenAlex
 
1
citations WoS
 
1

Bibliographie


Publications similaires



Contacter ORBilu