PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.

Volumn , Issue , 1986, Pages 279-292

  Halpern, Joseph Y ^a   Shoham, Yoav ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

MODAL TEMPORAL LOGIC;

COMPUTER METATHEORY;

EID: 0023033565     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)