Programming in metric temporal logic

DOI10.1016/S0304-3975(97)00139-4zbMath0902.68029MaRDI QIDQ1128978

Christoph Brzoska

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

theorem provingtemporal logiclogic programmingtemporal data bases

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (6)

Operational semantics of Framed Tempura ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Semantics of temporal constrained objects ⋮ Linear time-dependent constraints programming with MSVL ⋮ Axiomatic semantics of projection temporal logic programs ⋮ On Metric Temporal Łukasiewicz Logic

Cites Work

• Maintaining knowledge about temporal intervals
• Temporal logic programming
• Specifying message passing and time-critical systems with temporal logic
• On Fourier's algorithm for linear arithmetic constraints
• Real-time logics: Complexity and expressiveness
• Propositional dynamic logic of nonregular programs
• Towards a general theory of action and time
• MOLOG: A system that extends PROLOG with modal logic
• Concerning the semantic consequence relation in first-order temporal logic
• Corrigendum to ``Termination of rewriting
• The power of temporal proofs
• Multimodal logic programming using equational and order-sorted logic
• A resolution principle for a logic with restricted quantifiers
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Negation and constraint logic programming
• On the expressiveness of temporal logic programming
• Handling infinite temporal data
• Uniform proofs as a foundation for logic programming
• Nonclausal deduction in first-order temporal logic
• Specifying Concurrent Program Modules
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Clausal intuitionistic logic I. fixed-point semantics
• Clausal intuitionistic logic II. tableau proof procedures
• Contributions to the Theory of Logic Programming
• Semantics-Based Translation Methods for Modal Logics
• Constraint logic programming for reasoning about discrete event processes
• Towards a unified theory of intensional logic programming
• A Temporal extension of Prolog
• The Semantics of Predicate Logic as a Programming Language
• A really temporal logic
• The integration of functions into logic programming: From theory to practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Programming in metric temporal logic