Journal of the ACM Bibliography

Joseph Y. Halpern and Yoav Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, October 1991. [BibTeX entry]
Categories and Subject Descriptors: F.2.2 [Analysis of Algorithms and Problem Complexity]: Nonnumerical Algorithms and Problems -- complexity of proof procedures; F.4.m [Mathematical Logic and Formal Languages]: Miscellaneous; I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods -- representation languages

General Terms: Theory

Additional Key Words and Phrases: Axiomatizability, modal logic, temporal logic, temporal reasoning, time intervals

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database