Programming in metric temporal logic

DOI10.1016/S0304-3975(97)00139-4MaRDI QIDQ1128978zbMATH OpenFDO

Authors 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)

Recommendations

• Temporal logic programming
• Some Recent Results in Metric Temporal Logic
• scientific article; zbMATH DE number 4119670
• Timer formulas and decidable metric temporal logic

Cites work

• scientific article; zbMATH DE number 432699 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4164168 (Why is no real title available?)
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 67449 (Why is no real title available?)
• scientific article; zbMATH DE number 140385 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3490446 (Why is no real title available?)
• scientific article; zbMATH DE number 3501006 (Why is no real title available?)
• scientific article; zbMATH DE number 3564294 (Why is no real title available?)
• scientific article; zbMATH DE number 3566126 (Why is no real title available?)
• scientific article; zbMATH DE number 1348464 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1158758 (Why is no real title available?)
• scientific article; zbMATH DE number 1536565 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 947806 (Why is no real title available?)
• scientific article; zbMATH DE number 4119669 (Why is no real title available?)
• scientific article; zbMATH DE number 4119670 (Why is no real title available?)
• scientific article; zbMATH DE number 773990 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A Temporal extension of Prolog
• A really temporal logic
• A resolution principle for a logic with restricted quantifiers
• Clausal intuitionistic logic I. fixed-point semantics
• Clausal intuitionistic logic II. tableau proof procedures
• Concerning the semantic consequence relation in first-order temporal logic
• Constraint logic programming for reasoning about discrete event processes
• Contributions to the Theory of Logic Programming
• Corrigendum to ``Termination of rewriting
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• Handling infinite temporal data
• MOLOG: A system that extends PROLOG with modal logic
• Maintaining knowledge about temporal intervals
• Multimodal logic programming using equational and order-sorted logic
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Negation and constraint logic programming
• Nonclausal deduction in first-order temporal logic
• On Fourier's algorithm for linear arithmetic constraints
• On the expressiveness of temporal logic programming
• Propositional dynamic logic of nonregular programs
• Real-time logics: Complexity and expressiveness
• Semantics-Based Translation Methods for Modal Logics
• Specifying Concurrent Program Modules
• Specifying message passing and time-critical systems with temporal logic
• Temporal logic programming
• The Semantics of Predicate Logic as a Programming Language
• The integration of functions into logic programming: From theory to practice
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The power of temporal proofs
• Towards a general theory of action and time
• Towards a unified theory of intensional logic programming
• Uniform proofs as a foundation for logic programming

Cited in

(10)

• Axiomatic semantics of projection temporal logic programs
• Linear time-dependent constraints programming with MSVL
• Semantics of temporal constrained objects
• LOGSPACE and PTIME characterized by programming languages
• Operational semantics of Framed Tempura
• Metric temporal reasoning with less than two clocks
• Metric temporal answer set programming over timed traces
• On Metric Temporal Łukasiewicz Logic
• A note on unbounded metric temporal logic over dense time domains
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128978)