Work

Dynamic logic

Year: 2001

Type: article

Source: ACM SIGACT News

DOI: 10.1145/568438.568456

Authors: David Harel, Dexter Kozen, Jerzy Tiuryn

Institutions: Weizmann Institute of Science, Cornell University, University of Warsaw

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4231430632

FWCI:

Cites:

Cited by: 38

Related to: 10