Abstract is missing.
- Combining Temporal Specification TechniquesMorten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen. 1-16
- Global Equivalence Proofs for ISTLShmuel Katz. 17-29
- A Real Time Process LogicJos C. M. Baeten, Jan A. Bergstra, Roland N. Bol. 30-47
- Sometimes Tomorrow is Sometime - Action Refinement in a Temporal Logic of ObjectsJosé Luiz Fiadeiro, T. S. E. Maibaum. 48-66
- Applications of Transaction Logic to Knowledge RepresentationAnthony J. Bonner, Michael Kifer. 67-81
- Cicumscribing Features and FluentsPatrick Doherty, Witold Lukaszewicz. 82-100
- Dealing with Time Granularity in a Temporal Planning SystemSilvana Badaloni, Marina Berati. 101-116
- Axiomatizing ::::U:::: and ::::S:::: over Integer TimeMark Reynolds. 117-132
- Temporal Logic with Reference PointersValentin Goranko. 133-148
- Completeness through Flatness in Two-Dimensional Temporal LogicYde Venema. 149-164
- Efficient Computation of Nested Fix-Points, with Applications to Model CheckingBart Vergauwen, Johan Lewi, I. Avau, A. Poté. 165-179
- How Linear Can Branching-Time Be?Orna Grumberg, Robert P. Kurshan. 180-194
- First-Order Future Interval LogicG. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna. 195-209
- Buy One, Get One Free!!!Orna Bernholtz, Orna Grumberg. 210-224
- Back and Forth Through Time and EventsPatrick Blackburn, Claire Gardent, Maarten de Rijke. 225-237
- Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified ApproachChung Hee Hwang, Lenhart K. Schubert. 238-264
- Synchronized Histories in Prior-Thomason Representation of Branching TimeMaria Concetta Di Maio, Alberto Zanardo. 265-282
- On the Completeness of Temporal Database Query LanguagesMichael H. Böhlen, Robert W. Marti. 283-300
- The Abductive Event Calculus as a General Framework for Temporal DatabasesKristof Van Belleghem, Marc Denecker, Danny De Schreye. 301-316
- A Decision Procedure for a Temporal Belief LogicMichael Wooldridge, Michael Fisher. 317-331
- Decidability of Deliberative ::::Stit:::: Theories with Multiple AgentsMing Xu. 332-348
- Abduction in Temporal ReasoningCristina Ribeiro, António Porto. 349-364
- A Temporal Logic Approach to Implementation and Refinement in Timed Petri NetsMiguel Felder, Angelo Morzenti. 365-381
- A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent ProgramsAbdelillah Mokkedem, Dominique Méry. 382-397
- A Hierarchy of Partial Order Temporal PropertiesMarta Z. Kwiatkowska, Doron Peled, Wojciech Penczek. 398-414
- A Graph-Based Approach to Resolution in Temporal LogicClare Dixon, Michael Fisher, Howard Barringer. 415-429
- Annotation-Based Deduction in Temporal LogicHugh McGuire, Zohar Manna, Richard J. Waldinger. 430-444
- An Overview of Temporal and Modal Logic ProgrammingMehmet A. Orgun, Wanli Ma. 445-479
- A Survey of Concurrent METATEM - the Language and its ApplicationsMichael Fisher. 480-505
- Temporal Query Languages: A SurveyJan Chomicki. 506-534
- Improving Temporal Logic Tableaux Using Integer ConstraintsReiner Hähnle, Ortrun Ibens. 535-539
- A System for Automated Deduction in Graphical Interval LogicP. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon. 540-542
- SCDBR: A Reasoner for Specifications in the Situation Calculus of Database UpdatesLeopoldo E. Bertossi, Cristian Ferretti. 543-545