Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
Completeness theorems for reactive modal logics
GABBAY, Dov M.
2012 • In Annals of Mathematics & Artificial Intelligence, 66 (1-4), p. 81-129
Peer reviewed
Permalien
https://hdl.handle.net/10993/15850
DOI
10.1007/s10472-012-9315-9
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
art%3A10.1007%2Fs10472-012-9315-9(1).pdf
Postprint Éditeur (1.85 MB)
Télécharger

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

Envoyer vers


Détails


Mots-clés :
Modal Logic; Temporal Logic
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-ARTICLE-2012-1291
Auteur, co-auteur :
GABBAY, Dov M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; King’s College London, London, UK > Department of Computer Science ; Bar-Ilan University, Ramat-Gan, Israel
Langue du document :
Anglais
Titre :
Completeness theorems for reactive modal logics
Date de publication/diffusion :
2012
Titre du périodique :
Annals of Mathematics & Artificial Intelligence
ISSN :
1012-2443
Maison d'édition :
Springer
Volume/Tome :
66
Fascicule/Saison :
1-4
Pagination :
81-129
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 10 mars 2014

Statistiques

Nombre de vues
85 (dont 4 Unilu)
Nombre de téléchargements
510 (dont 1 Unilu)
Voir plus de statistiques
citations Scopus®
 
4
citations Scopus®
sans auto-citations
0
OpenCitations
 
2
citations OpenAlex
 
6
citations WoS™
 
4

Bibliographie

Publications similaires


Contacter ORBilu