INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Institut
Roskilde University
Roskilde, DinamarcaPublications en collaboration avec des chercheurs de Roskilde University (1)
2014
-
Henkin and Hybrid Logic
Studies in Universal Logic (Springer Nature), pp. 279-306