Sequential Dynamic Logic

Bochman, Alexander; GABBAY, Dov M.

doi:10.1007/s10849-011-9152-y

Télécharger

Article (Périodiques scientifiques)

Sequential Dynamic Logic

Bochman, Alexander; GABBAY, Dov M.

2012 • In Journal of Logic, Language and Information, 21 (3), p. 279--298

Peer reviewed

Permalien
https://hdl.handle.net/10993/26106

DOI
10.1007/s10849-011-9152-y

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

file.pdf

Postprint Éditeur (4.35 kB)

Télécharger

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

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Bochman, Alexander

GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Sequential Dynamic Logic

Date de publication/diffusion :

2012

Titre du périodique :

Journal of Logic, Language and Information

Volume/Tome :

Fascicule/Saison :

Pagination :

279--298

Peer reviewed :

Peer reviewed

URL complémentaire :

http://dx.doi.org/10.1007/s10849-011-9152-y

Disponible sur ORBilu :

depuis le 22 mars 2016

Statistiques

Nombre de vues

82 (dont 0 Unilu)

Nombre de téléchargements

216 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex