Paper: A Propositional Model Logic of Time Intervals (at LICS 1986)
Authors: Joseph Y. Halpern Yoav ShohamAbstract
No Abstract Available
BibTeX
@InProceedings{HalpernShoham-APropositionalModel, author = {Joseph Y. Halpern and Yoav Shoham}, title = {A Propositional Model Logic of Time Intervals}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {279--292}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }