Paper

Data

Name Halpern JY, van_der_Meyden R, Vardi MY (2004)

Description

Title Complete axiomatizations for reasoning about knowledge and time

References

Authors Halpern JY Show Other van_der_Meyden R Show Other Vardi MY Show Other

Volume 33

First page 674

Last page 703

Publisher

Pubmed ID

Year published 2004

Month published

Day published

Journal or book name SIAM Journal On Computing

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species