Work

Temporal and Modal Logic

Year: 1990

Type: book-chapter

Source: Elsevier eBooks

DOI: 10.1016/b978-0-444-88074-1.50021-4

Author: E. Allen EMERSON

Institution: The University of Texas at Austin

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1612453857

FWCI: 21.5

Cites: 117

Cited by: 2,658

Related to: 10