Back
  1. Home
  3. Detailled Reference
Download
Article (Scientific journals)
Completeness theorems for reactive modal logics
Gabbay, Dov M.
2012 • In Annals of Mathematics & Artificial Intelligence, 66 (1-4), p. 81-129
Peer reviewed
Permalink
https://hdl.handle.net/10993/15850
DOI
10.1007/s10472-012-9315-9
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
art%3A10.1007%2Fs10472-012-9315-9(1).pdf
Publisher postprint (1.85 MB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
Modal Logic; Temporal Logic
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2012-1291
Author, co-author :
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
Language :
English
Title :
Completeness theorems for reactive modal logics
Publication date :
2012
Journal title :
Annals of Mathematics & Artificial Intelligence
ISSN :
1012-2443
Publisher :
Springer
Volume :
66
Issue :
1-4
Pages :
81-129
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 10 March 2014

Statistics

Number of views
45 (4 by Unilu)
Number of downloads
246 (1 by Unilu)
More statistics
Scopus citations®
 
4
Scopus citations®
without self-citations
0
OpenCitations
 
2
WoS citations™
 
4

Bibliography

Similar publications


Contact ORBilu