Towards a unified theory of intensional logic programming

Abadi, 1987, Temporal Logic Programming, Proceedings of the 1987 Symposium on Logic Programming, 4 Aoyagi, 1986, Temporal Logic Programming Language Tokio, 138 Balbiani, 1988, Declarative Semantics for Modal Logic Programs, Proceedings of the 1988 International Conference on Fifth Generation Computer Systems, 507 Barringer, 1987, The Use of Temporal Logic in the Compositional Specification of Concurrent Systems, 53 Baudinet, 1988, On the Semantics of Temporal Logic Programming Baudinet, 1989, Temporal Logic Programming is Complete and Expressive, Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, 267 Blair, 1988, A Logic Programming Semantics Scheme, Part I Bull, 1984, Basic Modal Logic, Vol. II Chellas, 1980 Fariñas del, 1986, MOLOG: A System That Extends Prolog with Modal Logic, New Generation Comput., 4, 35, 10.1007/BF03037381 Fitting, 1987, Enumeration Operators and Modular Logic Programming, J. Logic Programming, 4, 11, 10.1016/0743-1066(87)90019-7 Fitting, 1988, Logic Programming on a Topological Bilattice, Fundamenta Informaticae, XI, 209, 10.3233/FI-1988-11206 Gabbay, 1987, Modal and Temporal Logic Programming, 197 Hughes, 1968, An Introduction to Modal Logic Keisler, 1971 Kowalski, 1979 Lloyd, 1984 Manna, 1974 Mitchell, 1989, The Intensional Logic Language InTense, 70 Montague, 1974 Moszkowski, 1986 Orgun, 1988 Orgun, 1988, A Theoretical Basis for Intensional Logic Programming, Proceedings of the 1988 International Symposium on Lucid and Intensional Programming, 33 Orgun, 1989, Towards a Unified Theory of Intensional Logic Programming Rescher, 1971 Rolston, 1986, CHRONOLOG: A Pure Tense-Logic-Based Infinite-Object Programming Language for Parallel Symbolic Execution Rolston, 1987, Toward a Tense-Logic-Based Mitigation of the Frame Problem, Proceedings of the AAAI Workshop on the Logical Frame Problem Scott, 1970, Advice on Modal Logic, 143 Segerberg, 1982 Shapiro, 1987, A Subset of Concurrent Prolog and Its Interpreter, 27 Stoy, 1977 van Benthem, 1984, Possible Worlds Semantics: A Research Program That Cannot Fail?, Studia Logica, XLIII, 379, 10.1007/BF00370508 van Benthem, 1988 van Emden, 1976, The Semantics of Predicate Logic as a Programming Language, J. ACM, 23, 733, 10.1145/321978.321991 van Emden, 1984, Top-Down Semantics of Fair Computations of Logic Programs Vardi, 1988, A Temporal Fixpoint Calculus, Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, 250, 10.1145/73560.73582 Wadge, 1985 Wadge, 1985 Wojcicki, 1988 Yaghi, 1984, An Intensional Implementation Technique for Functional Languages