@article{article7b7e12bc,
title   = {Combining temporal logic systems},
author = {Finger, Marcelo and Gabbay, Dov},
year = {1996},
doi = {10.1305/ndjfl/1040046087},
journal   = {Notre Dame Journal of Formal Logic}
}