Programming in metric temporal logic

Abadi, 1989, The power of temporal proofs, Theoret. Comput. Sci., 65, 35, 10.1016/0304-3975(89)90138-2

Abadi, 1989, Temporal logic programming, J. Symbolic Comput., 8, 277, 10.1016/S0747-7171(89)80070-7

Abadi, 1990, Nonclausal deduction in first-order temporal logic, J. Assoc. Comput. Machinery, 37, 279, 10.1145/77600.77617

Allen, 1983, Maintaining knowledge about intervals, Comm. ACM, 26, 832, 10.1145/182.358434

Allen, 1984, Towards a general theory of action and time, Artif. Intell., 23, 123, 10.1016/0004-3702(84)90008-0

Alur, 1990, Real-time logics: complexity and expressiveness

Alur, 1993, Real-time logics: complexity and expressiveness, Inform. and Comput., 104, 35, 10.1006/inco.1993.1025

Alur, 1994, A really temporal logic, J. Assoc. Comput. Machinery, 41, 181, 10.1145/174644.174651

Apt, 1982, Contributions to the theory of logic programming, J. Assoc. Comput. Machinery, 29, 841, 10.1145/322326.322339

Aschrofft, 1977, Intermittent assertion proofs in lucid

Auffray, 1989, Modal theorem proving: an equational viewpoint, vol. 1

Baader, 1993, Unification theory

Balbiani, 1988, Declarative semantics for modal logic programs

Balbiani, 1991, TIM: The Toulouse inference machine, vol. 567

Baudinet, 1989, Temporal logic programming is complete and expressive

Baudinet, 1995, On the expressiveness of temporal logic programming, Inform. and Comput., 117, 157, 10.1006/inco.1995.1036

Baudinet, 1993, Temporal deductive databases, 294

Barringer, 1989, A framework for programming in temporal logic, vol. 430

Bibel, 1975, Prädikatives Programmieren, vol. 33

Brzoska, 1990, Temporal logic programming and its relation to constraint logic programming

Brzoska, 1991, Temporal logic programming and its relation to constraint logic programming, 661

Brzoska, 1993, Temporal logic programming with bounded universal (modality) goals, 239

Brzoska, 1993, Temporal-logisches Programmieren

Brzoska, 1995, Temporal logic programming in dense time, 303

Brzoska, 1995, Temporal logic programming with metric and past operators, vol. 897, 21

Brzoska, 1993

Brzoska, 1995, Temporal logic programming applied to image sequence evaluation, 381

Brzoska, 1997

Burgess, 1984, Basic tense logic, 89

Bürckert, 1991, A Resolution Principle for a Logic with Restricted Quantifiers, vol. 568

Clarke, 1978, Negation as failure, 293

Cleary, 1991, Updates in a temporal logic programming language

Colmerauer, 1972, Un système de communcation homme-machine en francais

Debart, 1992, Multimodal logic programming using equational and order-sorted logic, Theoret. Comput. Sci., 105, 141, 10.1016/0304-3975(92)90290-V

1986

del Cerro, 1986, Molog: a system that extends PROLOG with modal logic, New Generation Comput., 4, 35, 10.1007/BF03037381

del Cerro, 1990, Automated quantified modal logic

Dershowitz, 1987, Termination of rewriting, J. Symbolic Comput., 3, 69, 10.1016/S0747-7171(87)80022-6

Dershowitz, 1987, Corrigendum, 4, 409

Emerson, 1990, Modal and temporal logic, vol. B, 995

Feeβ, 1991, Ein Tableauverfahren für temporale Hornklausel-Prädikatenlogik

Fisher, 1992, A normal form for first-order temporal formulae, vol. 607

Fischer, 1974, Super-exponential complexity of presburger arithmetic, 27

Frisch, 1991, A general framework for modal deduction, 196

Früwirth, 1994, Annotated constraint logic programming applied to temporal reasoning, 230

Fujita, 1986, Tokio: logic programming language based on temporal logic and its compilation to prolog, vol. 225, 695

Gabbay, 1987, Modal and temporal logic programming, 197

Gabbay, 1989, Declarative past and imperative future, vol. 398, 76

Gabbay, 1991, A temporal logic programming machine, 82

Gabbay, 1984, N-prolog: an extension of prolog with hypothetical implications. I, J. Logic Programming, 1, 319, 10.1016/0743-1066(84)90029-3

Guckenbiehl, 1991, Formalizing and using persistency

Hale, 1987, Temporal logic programming, 91

Hanus, 1994, The integration of functions into logic programming: From theory to practice, J. Logic Programming, 19/20, 583, 10.1016/0743-1066(94)90034-5

Harel, 1990, Explicit clock temporal logic

Harel, 1983, Propositional dynamic logic of nonregular programs, J. Comput. System Sci., 26, 222, 10.1016/0022-0000(83)90014-4

Hayes, 1973, Computation and deduction, 105

Hrycej, 1988, Temporal prolog

Hrycej, 1993, A temporal extension of prolog, J. Logic Programming, 15, 113, 10.1016/0743-1066(93)90016-A

Hughes, 1972

Jaffar, 1986, Constraint logic programming, 111

Jaffar, 1986, Constraint logic programming

Jaffar, 1994, Constraint logic programming: a survey, J. Logic Programming, 19/20, 503, 10.1016/0743-1066(94)90033-7

Jahanian, 1986, Safety analysis of timing properties in real-time systems, IEEE Trans. Software Eng., SE-12, 890, 10.1109/TSE.1986.6313045

Kabanza, 1990, Handling infinite temporal data, 392

Kamp, 1968, Tense Logic and the Theory of Linear Order

Kanellakis, 1995, Constraint query languages, J. Comput. System Sci., 51, 26, 10.1006/jcss.1995.1051

Kesten, 1993, Temporal verification of simulation and refinement, vol. 803, 273

Kowalski, 1974, Predicate logic as a programming language, 74, 569

Koymans, 1989, Specifying Message Passing and Time-Critical Systems with Temporal Logic, 10.1007/3-540-56283-4

Koymans, 1990, Specifying real-time properties with metric temporal logic, Real-Time Systems, 2, 255, 10.1007/BF01995674

Koymans, 1983, Real-time programming and asynchronous message passing, 187

Kroger, 1976, Logical rules of natural reasoning about programs, 87

Kröger, 1987, Temporal Logic of Programs, vol. 8

Lamport, 1983, Specifying concurrent programs modules, ACM Trans. on Programming Languages and Systems, 5, 190, 10.1145/69624.357207

Lassez, 1992, On fourier's algorithm for linear arithmetic constraints, J. Automat. Reasoning, 9, 373, 10.1007/BF00245296

Lloyd, 1984

Lobo, 1992

Manna, 1992, vol. 1

Manna, 1995, vol. 2

McCarty, 1988, Clausal intuitionistic logic, I. Fixed-point semantics, J. Logic Programming, 5, 1, 10.1016/0743-1066(88)90005-2

McCarty, 1988, Clausal intuitionistic logic, II. Tableau proof procedures, J. Logic Programming, 5, 93, 10.1016/0743-1066(88)90014-3

S. Merz, 1990, private correspondence.

Merz, 1992, Temporal Logic as a Programming Language

Miller, 1991, Uniform proofs as a foundation for logic programming, Ann. Pure Appl. Logic, 51, 125, 10.1016/0168-0072(91)90068-W

Moszkowski, 1986

Nonnengart, 1993, First-order modal logic theorem proving and functional simulation, vol. 1, 80

Ohlbach, 1988, A resolution calculus for modal logics, vol. 310

Ohlbach, 1991, Semantic-based translation methods for modal logics, J. Logic Comput., 1, 691, 10.1093/logcom/1.5.691

Orgun, 1994, An overview of temporal and modal logic programming, vol. 827, 445

Orgun, 1992, Towards an unified theory of intensional logic programming, J. Logic Programming, 13, 413, 10.1016/0743-1066(92)90055-8

Ostroff, 1990

Pnueli, 1977, The temporal logic of programs

Porto, 1992, Temporal inference with a point-based interval algebra

Pratt, 1977, The competence/performance dichotonomy in programming, 194

Prior, 1967

Richards, 1991, On interval-based temporal planning: An iq strategie, vol. 542

Saraswat, 1993

Schäfer, 1993, Entwicklung einer temporallogischen Sprache zur Beschreibung von Abläufen in Straβenverkehrsszenen

Stuckey, 1991, Constructive negation for constraint logic programming

Szalas, 1986, Concerning the semantic consequence relation in first-order temporal logic, Theoret. Comput. Sci., 47, 329, 10.1016/0304-3975(86)90157-X

Tang, 1983, Towards a unified logic basis for programming languages, 83

1993

Tuzhilin, 1990, A temporal relational algebra as a basis for temporal relational completeness, 13

van Benthem, 1983

van Benthem, 1984, Correspondence theory, vol. 2, 167

Van Emden, 1976, The semantics of predicate logic as a programming language, J. ACM, 23, 733, 10.1145/321978.321991

Wallen, 1988, Matrix proof methods for modal logics, 5, 3

Wolper, 1985, The tableau method for temporal logic: an overview, Logique et Analyse, 28, 119