## Temporal and modal logic (1995)

by
E. Allen Emerson

Venue: | HANDBOOK OF THEORETICAL COMPUTER SCIENCE |

Citations: | 1105 - 16 self |

### BibTeX

@INPROCEEDINGS{Emerson95temporaland,

author = {E. Allen Emerson},

title = {Temporal and modal logic},

booktitle = {HANDBOOK OF THEORETICAL COMPUTER SCIENCE},

year = {1995},

pages = {995--1072},

publisher = {Elsevier}

}

### Years of Citing Articles

### OpenURL

### Abstract

We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic.