Work

Dynamic Logic

Year: 1984

Type: book-chapter

Source: Springer eBooks

Parent work: Handbook of Philosophical Logic

DOI: 10.1007/978-94-009-6259-0_10

Author: David Harel

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4205313167

FWCI: 2.104

Cites: 87

Cited by: 335

Related to: 10