Original language | English |
---|---|

Publisher | Oxford University Press |

Publication status | Published - 1994 |

# Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1.

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Research output: Book/Report › Book