Sequential Dynamic Logic

Bochman, Alexander; Gabbay, Dov M.

doi:10.1007/s10849-011-9152-y

Download

Article (Scientific journals)

Sequential Dynamic Logic

Bochman, Alexander; Gabbay, Dov M.

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

Peer reviewed

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

DOI
10.1007/s10849-011-9152-y

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

file.pdf

Publisher postprint (4.35 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Bochman, Alexander

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

External co-authors :

yes

Language :

English

Title :

Sequential Dynamic Logic

Publication date :

2012

Journal title :

Journal of Logic, Language and Information

Volume :

Issue :

Pages :

279--298

Peer reviewed :

Peer reviewed

Additional URL :

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

Available on ORBilu :

since 22 March 2016

Statistics

Number of views

65 (0 by Unilu)

Number of downloads

185 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations