Rana Barua Completeness of a combination of neighbourhood logic and temporal logic. 96-103 2004 16 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-004-0035-8 db/journals/fac/fac16.html#Barua04